Formal Techniques for Networked and Distributed Systems - FORTE 2002: Proc./22nd IFIP WG 6.1 Intern. Conf., Houston, Texas, USA, November 2002

А3.54, А3.5, Б3.5.

Formal Techniques for Networked and Distributed Systems - FORTE 2002: Proc./22nd IFIP WG 6.1 Intern. Conf., Houston, Texas, USA, November 2002Ed. by Peled D. A., Vardi M. Y..-Berlin, Heidelberg.: Springer, 2002.-Vol. 2529.-371 p.-(Lecture Notes in Computer Science).