Priority and abstraction in process algebra
- 1 January 1994
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Analyzing concurrent systems using the Concurrency WorkbenchPublished by Springer Nature ,1993
- A Process Calculus with Incomparable PrioritiesPublished by Springer Nature ,1993
- The concurrency workbenchACM Transactions on Programming Languages and Systems, 1993
- Priorities in process algebrasInformation and Computation, 1990