P.__Ciancarini
A Coordination Model to Specify Systems including Mobile Agents
Analyzing and Refining an Architectural Style
editors. Coordination and models
Engineering formal requirements: an analysis and testing method for Z documents
Engineering Formal Requirements: Analysis and Testing
Using a Coordination Language to Specify and Analyze Systems Containing Mobile Components