Formal Methods for Open Object-Based Distributed Systems: Proc./6th IFIP WG 6.1 Intern. Conf., FMOODS 2003, Paris, France, November 2003

А3.54, Б3.5, Б2.4.

Formal Methods for Open Object-Based Distributed Systems: Proc./6th IFIP WG 6.1 Intern. Conf., FMOODS 2003, Paris, France, November 2003Ed. by Najm E., Nestmann U., Stevens P..-Berlin, Heidelberg.: Springer, 2003.-Vol. 2884.-293 p.-(Lecture Notes in Computer Science).