A process algebra based on Linda
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 160-178
- https://doi.org/10.1007/3-540-61052-9_45
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Asynchronous communication in process algebraPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- An Observational Semantics for LindaPublished by Springer Nature ,1995
- A Theory of Communicating Processes with Value PassingInformation and Computation, 1993
- A proof system for communicating processes with value-passingFormal Aspects of Computing, 1991
- A theory of testing for ACPPublished by Springer Nature ,1991
- Linda in contextCommunications of the ACM, 1989
- CCS without τ'sPublished by Springer Nature ,1987
- Generative communication in LindaACM Transactions on Programming Languages and Systems, 1985
- Testing equivalences for processesTheoretical Computer Science, 1984
- Process algebra for synchronous communicationInformation and Control, 1984