A process algebraic view of Linda coordination primitives
- 20 February 1998
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 192 (2) , 167-199
- https://doi.org/10.1016/s0304-3975(97)00149-7
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Transition system specifications with negative premisesTheoretical Computer Science, 1993
- Generative communication in LindaACM Transactions on Programming Languages and Systems, 1985
- Testing equivalences for processesTheoretical Computer Science, 1984
- Computability of Recursive FunctionsJournal of the ACM, 1963