A Logic for a Coordination Model With Multiple Spaces (1997)

by P. Ciancarini, M. Mazza, L. Pazzaglia