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