On transformations of concurrent object programs
Ημερομηνία
1996Συγγραφέας
Philippou, AnnaWalker, D.
ISSN
0302-9743Source
7th International Conference on Concurrency Theory, CONCUR 1996Volume
1119Pages
131-146Google Scholar check
Keyword(s):
Metadata
Εμφάνιση πλήρους εγγραφήςΕπιτομή
Transformation rules which increase the scope for concurrent activity within systems prescribed by programs of concurrent object languages are given. The correctness of the rules is proved using a semantic definition by translation to a mobile-process calculus. The main theoretical development concerns the notions of confluence and partial confluence. © Springer-Verlag Berlin Heidelberg 1996.