A Logic for a Coordination Model with Multiple Spaces. - Paolo Ciancarini; M. Mazza; L. Pazzaglia (Sci. Comput. Program., 1998)