Author/Authors :
Eerke Boiten، نويسنده , , Howard Bowman، نويسنده , , John Derrick and Heike Wehrheim ، نويسنده , , Peter Linington، نويسنده , , Maarten Steen، نويسنده ,
Keywords :
LOTOS , Open Distributed Processing , Viewpoint consistency , Object-Z , formal methods
