Towards a Hierarchy of Negative Test Operators for Generative Communication
Open Access
- 31 December 1998
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 16 (2) , 154-170
- https://doi.org/10.1016/s1571-0661(04)00125-2
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- A process algebraic view of Linda coordination primitivesTheoretical Computer Science, 1998
- On the Expressiveness of Linda-like Concurrent LanguagesElectronic Notes in Theoretical Computer Science, 1998
- On the Turing equivalence of Linda coordination primitivesElectronic Notes in Theoretical Computer Science, 1997
- Three semantics of the output operation for generative communicationPublished by Springer Nature ,1997
- On the Semantics of Concurrent Constraint ProgrammingPublished by Springer Nature ,1993
- Programming by multiset transformationCommunications of the ACM, 1993
- Coordination languages and their significanceCommunications of the ACM, 1992
- Embedding as a tool for language comparison: On the CSP hierarchyPublished by Springer Nature ,1991
- The concurrent language, Shared PrologACM Transactions on Programming Languages and Systems, 1991
- Generative communication in LindaACM Transactions on Programming Languages and Systems, 1985