Comparing three semantics for Linda-like languages
- 6 June 2000
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 240 (1) , 49-90
- https://doi.org/10.1016/s0304-3975(99)00227-3
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- An object calculus for asynchronous communicationPublished by Springer Nature ,2006
- On the Expressiveness of Linda Coordination PrimitivesInformation and Computation, 2000
- On bisimulations for the asynchronous π-calculusTheoretical Computer Science, 1998
- A process algebraic view of Linda coordination primitivesTheoretical Computer Science, 1998
- Three semantics of the output operation for generative communicationPublished by Springer Nature ,1997
- Bisimulations for Asynchronous Mobile ProcessesBRICS Report Series, 1996
- A Petri net semantics for π-calculusPublished by Springer Nature ,1995
- Transition system specifications with negative premisesTheoretical Computer Science, 1993
- Coordination languages and their significanceCommunications of the ACM, 1992
- Generative communication in LindaACM Transactions on Programming Languages and Systems, 1985