Authors
Anna Philippou, David Walker
Publication date
1996/8/26
Book
International Conference on Concurrency Theory
Pages
131-146
Publisher
Springer Berlin Heidelberg
Description
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.
Total citations
Scholar articles
A Philippou, D Walker - International Conference on Concurrency Theory, 1996