A process algebra with distributed priorities
- 30 March 1998
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 195 (2) , 227-258
- https://doi.org/10.1016/s0304-3975(97)00221-1
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Semantics of Inhibitor NetsInformation and Computation, 1995
- CCS with Priority ChoiceInformation and Computation, 1995
- A Resource-Based Prioritized Bisimulation for Real-Time SystemsInformation and Computation, 1994
- A formal definition of priority in CSPACM Transactions on Programming Languages and Systems, 1993
- Observing localitiesTheoretical Computer Science, 1993
- Petri net semantics of priority systemsTheoretical Computer Science, 1992
- A partial ordering semantics for CCSTheoretical Computer Science, 1990
- Priorities in process algebrasInformation and Computation, 1990
- CCS expressions, finite state processes, and three problems of equivalenceInformation and Computation, 1990