On transformations of concurrent-object programs
Ημερομηνία
1998Συγγραφέας
Philippou, AnnaWalker, D.
Source
Theoretical Computer ScienceVolume
195Issue
2Pages
259-289Google Scholar check
Metadata
Εμφάνιση πλήρους εγγραφήςΕπιτομή
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.