Formal Methods for Open Object-Based Distributed Systems: Proc./8th IFIP WG 6.1 International Conference, FMOODS 2006. Bologna, Italy, June 2006

А3.54, Б2.2.

Formal Methods for Open Object-Based Distributed Systems: Proc./8th IFIP WG 6.1 International Conference, FMOODS 2006. Bologna, Italy, June 2006Ed. by Gorrieri R., Wehrheim H..-Berlin, Heidelberg.: Springer, 2006.-Vol. 4037.-267 p.-(Lecture Notes in Computer Science).