Weak and strong fairness in CCS
- 1 June 1987
- journal article
- Published by Elsevier BV in Information and Computation
- Vol. 73 (3), 207-244
- https://doi.org/10.1016/0890-5401(87)90013-7
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Axiomatising finite delay operatorsActa Informatica, 1984
- Fairness and related properties in transition systems ? a temporal logic to deal with fairnessActa Informatica, 1983
- Proof rules and transformations dealing with fairnessScience of Computer Programming, 1983