The μ-calculus as an assertion-language for fairness arguments
- 1 September 1989
- journal article
- Published by Elsevier in Information and Computation
- Vol. 82 (3) , 278-322
- https://doi.org/10.1016/0890-5401(89)90004-7
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Countable nondeterminism and random assignmentJournal of the ACM, 1986
- Fair termination revisited—with delayTheoretical Computer Science, 1984
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955