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