Formal Techniques for Distributed Systems: Proc./Joint 11th IFIP WG6.1 Intl Conference FMOODS 2009 & 29th IFIP WG6.1 Intl Conference FORTE 2009. Lisboa, Portugal, June 2009

Б2.2, Б2.3, Б3.54, Б3.55.

Formal Techniques for Distributed Systems: Proc./Joint 11th IFIP WG6.1 Intl Conference FMOODS 2009 & 29th IFIP WG6.1 Intl Conference FORTE 2009. Lisboa, Portugal, June 2009Ed. by Lee D., Lopes A., Poetzsch-Heffter A..-Berlin, Heidelberg.: Springer, 2009.-Vol. 5522.-249 p.-(Lecture Notes in Computer Science).