Towards a hierarchy of negative test operators for generative communication

Electronic Notes in Theoretical Computer Science

Volumn 16, Issue 2, 1998, Pages 154-170

  Zavattaro, Gianluigi ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SCIENCE; CONSTRAINT THEORY; MATHEMATICAL MODELS;

ASYNCHRONOUS SYNCHRONIZATION; COORDINATION LANGUAGES; GENERATIVE COMMUNICATION; INTERPROCESS COMMUNICATION;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0011211721     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00125-2     Document Type: Conference Paper

References (19)

1. Banǎtre J.P., Le Métayer D. Programming by Multiset Transformation. Communications of the ACM. 36:(1):1993;98-111
2. F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten. Non-Monotonic Concurrent Constraint Programming. In Proc. International Logic Programming Symposium, pages 315-334, The MIT press, 1993.
3. F.S de Boer, C. Palamidessi. Embedding as a Tool for Language Comparison: On the CSP Hierarchy. In Proc. Concur'91, volume 527 of LNCS, pages 127-141, 1991.
4. G. Boudol. Asynchrony and the π-calculus. Technical Report 1702, INRIA, Sophia-Antipolis, 1992.
5. Brogi A., Ciancarini P. The Concurrent language Shared Prolog. ACM Transactions on Programming Languages and Systems. 13:(1):1991;99-123
6. A. Brogi and J.M. Jacquet. On the Expressiveness of Linda-like Concurrent Languages. In Proc. Express'98, volume 16 of ENTCS, 1998.
7. N. Busi, R. Gorrieri, and G. Zavattaro. Three Semantics of the Output Operation for Generative Communication. In Proc. Coordination'97, volume 1282 of LNCS, pages 205-219, 1997.
8. N. Busi, R. Gorrieri, and G. Zavattaro. On the Turing Equivalence of Linda Coordination Primitives. In Proc. Express'97, volume 7 of ENTCS, 1997.
9. Busi N., Gorrieri R., Zavattaro G. A Process Algebraic View of Linda Coordination Primitives. Theoretical Computer Science. 192:(2):1998;167-199
10. N. Busi, R. Gorrieri, and G. Zavattaro. Comparing Three Semantics for Linda-like Languages. To appear in Theoretical Computer Science.
11. Gelernter D. Generative Communication in Linda. ACM Transactions on Programming Languages and Systems. 7:(1):1985;80-112
12. Gelernter D., Carriero N. Coordination Languages and their Significance. Communications of the ACM. 35:(2):1992;97-107
13. Groote J.F. Transition system specification with negative premises. Theoretical Computer Science. 118:1993;263-299
14. Milner R. Communication and Concurrency. 1989;Prentice-Hall
15. Milner R., Parrow J., Walker D. A Calculus of Mobile Processes. Information and Computation. 100:(1):1992;1-77
16. U. Nestmann and B.C. Pierce. Decoding Choice Encodings. In CONCUR'96, volume 1119 of LNCS, pages 179-194. Springer, 1996.
17. K. Honda and M. Tokoro. An Object Calculus for Asynchronous Communication. In ECOOP'91, volume 512 of LNCS, pages 133-147. Springer, 1991.
18. Palamidessi C. Comparing the Expressive Power of the Synchronous and the Asynchronous π-calculus. Proc. POPL'97. 1997;256-265 ACM
19. G. Zavattaro. On the Incomparability of Gamma and Linda. Technical Report (to appear), Centrum voor Wiskunde en Informatica, Amsterdam, 1998.