On asynchronous communication semantics
- 1 January 1992
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Functions as processesPublished by Springer Nature ,2005
- The failure of failures in a paradigm for asynchronous communicationPublished by Springer Nature ,1991
- Conditional rewriting logic: Deduction, models and concurrencyPublished by Springer Nature ,1991
- Towards a lambda-calculus for concurrent and communicating systemsPublished by Springer Nature ,1989
- Observation equivalence as a testing equivalenceTheoretical Computer Science, 1987
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Process algebra with asynchronous communication mechanismsPublished by Springer Nature ,1985
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Testing equivalences for processesPublished by Springer Nature ,1983
- Viewing control structures as patterns of passing messagesArtificial Intelligence, 1977