A Logic for a Coordination Model with Multiple Spaces.

Paolo Ciancarini M. Mazza L. Pazzaglia A Logic for a Coordination Model with Multiple Spaces. 231-261 1998 31 Sci. Comput. Program. 2-3 db/journals/scp/scp31.html#CiancariniMP98