Formal Techniques for Distributed Objects, Components, and Systems - Erika ÃbrahÃ¡m, Catuscia Palamidessi (Springer Berlin Heidelberg, 2014)