POLYGOTH
A distributed language integrating classes with a parallel block structure, including multiprocedures and fragments.
["Operational Semantics of a Distributed Object-Oriented Language and its Z Formal Specification", M. Benveniste <mbenveni@irisa.irisa.fr>, TR532, IRISA/INRIA-Rennes].