A fair calculus of communicating systems
- 1 December 1984
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 21 (5), 417-441
- https://doi.org/10.1007/bf00271640
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Proof rules and transformations dealing with fairnessScience of Computer Programming, 1983
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Proving Liveness Properties of Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1982
- A powerdomain for countable non-determinismPublished by Springer Nature ,1982
- Impartiality, justice and fairness: The ethics of concurrent terminationLecture Notes in Computer Science, 1981
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- On the temporal analysis of fairnessPublished by Association for Computing Machinery (ACM) ,1980
- On the semantics of fair parallelismPublished by Springer Nature ,1980