Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

David Lee Antónia Lopes Arnd Poetzsch-Heffter Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings 5522 2009 http://dx.doi.org/10.1007/978-3-642-02138-1 978-3-642-02137-4 FMOODS/FORTE Lecture Notes in Computer Science Springer db/conf/forte/forte2009.html