Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings - Bruni, Roberto.; Bruni, Roberto.; Dingel, Juergen.; Dingel, Juergen. (Springer Berlin Heidelberg : Imprint: Springer, 2011)