On transformations of concurrent-object programs
Date
1998Author
Philippou, AnnaWalker, D.
Source
Theoretical Computer ScienceVolume
195Issue
2Pages
259-289Google Scholar check
Metadata
Show full item recordAbstract
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. © 1998 -Elsevier Science B.V. All rights reserved.