A Specification Language for Distributed Components Implemented in GCM/ProActive

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-85289-6_16