BRIM, Luboš and Isabelle LINDEN.
Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005). NIzozemsko: Elsevier, 2006, 159 pp. ENTCS Volume 150, Issue 1. ISBN 1571-0661.