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, TR532, IRISA/INRIA-Rennes.