Paolo Ciancarini Francesco Franzé Cecilia Mascolo Using a coordination language to specify and analyze systems containing mobile components. 167-198 2000 9 ACM Trans. Softw. Eng. Methodol. 2 http://doi.acm.org/10.1145/350887.350893 db/journals/tosem/tosem9.html#CiancariniFM00