Citation: P. Ciancarini et al., Using a coordination language to specify and analyze systems containing mobile components, ACM T SOFTW, 9(2), 2000, pp. 167-198
Citation: P. Ciancarini et C. Mascolo, Using formal methods for teaching software engineering: a tool-based approach, ANN SOFTW E, 6, 1998, pp. 433-453