You are about to access our book library "Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, ... Notes in Computer Science Book 6722) full version"
.