Asynchronous communication in process algebra
- 2 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- The Linear Time - Branching Time Spectrum I. The Semantics of Concrete, Sequential ProcessesPublished by Elsevier ,2001
- The failure of failures in a paradigm for asynchronous communicationPublished by Springer Nature ,1991
- A fully abstract model for concurrent constraint programmingPublished by Springer Nature ,1991
- The family of concurrent logic programming languagesACM Computing Surveys, 1989
- Readies and Failures in the Algebra of Communicating ProcessesSIAM Journal on Computing, 1988
- Process algebra with asynchronous communication mechanismsPublished by Springer Nature ,1985
- A model and proof system for asynchronous networksPublished by Association for Computing Machinery (ACM) ,1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984