Calculi for synchrony and asynchrony
- 1 January 1983
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 25 (3) , 267-310
- https://doi.org/10.1016/0304-3975(83)90114-7
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- A term model for CCSPublished by Springer Nature ,2005
- Petri nets, event structures and domainsPublished by Springer Nature ,2005
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- A timed model for communicating sequential processesTheoretical Computer Science, 1988
- A complete inference system for a class of regular behavioursJournal of Computer and System Sciences, 1984
- Event structure semantics for CCS and related languagesPublished by Springer Nature ,1982
- Real time agentsPublished by Springer Nature ,1982
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- The temporal semantics of concurrent programsTheoretical Computer Science, 1981
- Concurrent Processes and Their SyntaxJournal of the ACM, 1979