On transformations of concurrent-object programs

Transformation rules which increase the scope for concurrent activity within systems prescribed by programs of concurrent-object languages are given. Their correctness is proved on the basis of a semantic definition by translation to an extension of the π-calculus. The main theoretical development concerns the notions of confluence and partial confluence of processes.

Authors

• Anna Philippou
• David Walker

Keywords

No keywords are indexed for this paper.