Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator
Open Access
- 1 December 1987
- journal article
- research article
- Published by Oxford University Press (OUP) in The Computer Journal
- Vol. 30 (6), 498-506
- https://doi.org/10.1093/comjnl/30.6.498