About fair asynchrony
- 31 December 1985
- journal article
- review article
- Published by Elsevier in Theoretical Computer Science
- Vol. 37, 305-336
- https://doi.org/10.1016/0304-3975(85)90095-7
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A fair calculus of communicating systemsActa Informatica, 1984
- Towards a formal proof system for ω-rational expressionsInformation Processing Letters, 1984
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Synchronous and asynchronous experiments on processesInformation and Control, 1983
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Flowgraphs and Flow AlgebrasJournal of the ACM, 1979
- Fully abstract models of typed λ-calculiTheoretical Computer Science, 1977