Title of article
Viewpoint consistency in ODP
Author/Authors
Eerke Boiten، نويسنده , , Howard Bowman، نويسنده , , John Derrick and Heike Wehrheim ، نويسنده , , Peter Linington، نويسنده , , Maarten Steen، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
35
From page
503
To page
537
Keywords
LOTOS , Open Distributed Processing , Viewpoint consistency , Object-Z , formal methods
Journal title
Computer Networks
Serial Year
2000
Journal title
Computer Networks
Record number
298899
Link To Document