Equivalence semantics for concurrency : comparison and application
Since the development of CCS and other process algebras, many extensions to these process algebras have been proposed to model different aspects of concurrent computation. It is important both theoretically and practically to understand the relationships between these process algebras and between th...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Edinburgh
1998
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561723 |