EXPRESS'98 to appear Gianluigi Zavattaro Dipartimento di Scienze...  Home/Search
Context Related
| cs.unibo.it/~zavattar/W...negtest.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.unibo.it/~cianca/ww...coordina (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Generative communication is a coordination paradigm that permits interprocess communication via the introduction and consumption of data to and from a shared common data space. We call negative test operators those coordination primitives able to test the absence of data in the common data space. In this paper we investigate the expressive power of this family of operators. To this aim, we concentrate on three possible primitives differing in the ability of instantaneously producing new data... (Update)
Context of citations to this paper: More
...1.4 Related work The speci cities of our work may be highlighted by contrasting it with related work. The closest pieces of work are [29] and [28] The expressiveness of four coordination languages is analysed in [29] Using our terminology, they are obtained by enriching...
.... recently used also in [Pal97] to discriminate the expressive power of # calculus [MPW92] and its asynchronous fragment [Bou92, HT91] in [Zav98], to study the expressiveness of the so called negative test operators, and in [BJ98] to prove separation and equivalence results...
Cited by: More
On the Expressiveness of Coordination via Shared Dataspaces - Brogi, Jacquet (2000) (Correct)
Comparing Coordination Models and Architectures using.. - Bonsangue, Kok, Zavattaro (2000) (Correct)
On the Incomparability of Gamma and Linda - Zavattaro (1998) (Correct)
Active bibliography (related documents): More All
0.2: Comparing Software Architectures for Coordination Languages - Bonsangue, Kok, Zavattaro (1998) (Correct)
0.2: From Concurrent Logic Programming to Concurrent Constraint .. - de Boer, Palamidessi (1993) (Correct)
0.2: On the Expressiveness of Linda Coordination Primitives - Busi, Gorrieri, Zavattaro (Correct)
Similar documents based on text: More All
0.1: A Process Algebraic View of Linda Coordination Primitives - Busi (1998) (Correct)
0.1: An Algebra of Actors - Gaspari, Zavattaro (1997) (Correct)
0.0: Comparing Three Semantics for Linda-like Languages - Busi, Gorrieri, Zavattaro (1998) (Correct)
Related documents from co-citation: More All
5: A Process Algebraic View of Linda Coordination Primitives - Busi, Gorrieri et al. - 1998
5: Coordination models and languages - Papadopoulos, Arbab - 1998
4: Communications of the ACM (context) - Carriero, Gelernter et al. - 1989
BibTeX entry: (Update)
G. Zavattaro. Towards a hierarchy of negative test operators for generative communication. Electronic Notes in Theoretical Computer Science, 16(2):83-100, 1998. http://citeseer.ist.psu.edu/article/zavattaro98towards.html More
@misc{ zavattaro98towards,
author = "G. Zavattaro",
title = "Towards a hierarchy of negative test operators for generative communication",
text = "G. Zavattaro. Towards a hierarchy of negative test operators for generative
communication. Electronic Notes in Theoretical Computer Science, 16(2):83-100,
1998.",
year = "1998",
url = "citeseer.ist.psu.edu/article/zavattaro98towards.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
854 Information and Computation (context) - Milner, Parrow et al. - 1992
375 ACM Transactions on Programming Languages and Systems (context) - Gelernter, in - 1985
294 An Object Calculus for Asynchronous Communication - Honda, Tokoro - 1991
216 Coordination Languages and their Significance (context) - Gelernter, Carriero - 1992
109 Programming by Multiset Transformation (context) - Banatre, Le M'etayer - 1993
94 ACM Transactions on Programming Languages and Systems (context) - Brogi, Ciancarini et al. - 1991
84 Transition system specifications with negative premises (context) - Groote - 1993
73 Comparing the Expressive Power of the Synchronous and the As.. - Palamidessi - 1997
60 Decoding Choice Encodings - Nestmann, Pierce - 1996
36 A Process Algebraic View of Linda Coordination Primitives - Busi, Gorrieri et al. - 1998
33 Asynchrony and the ß-calculus (context) - Boudol - 1992
19 Non-Monotonic Concurrent Constraint Programming (context) - de Boer, Kok et al. - 1993
15 the Turing Equivalence of Linda Coordination Primitives (context) - Busi, Gorrieri et al. - 1997
11 Three Semantics of the Output Operation for Generative Commu.. - Busi, Gorrieri et al. - 1997
10 Comparing Three Semantics for Lindalike Languages - Busi, Gorrieri et al.
9 the Expressiveness of Linda-like Concurrent Languages (context) - Brogi, Jacquet - 1998
5 Embedding as a Tool for Language Comparison: On the CSP Hier.. (context) - de Boer, Palamidessi - 1991
5 Centrum voor Wiskunde en Informatica - Zavattaro, Incomparability et al. - 1998
Documents on the same site (http://www.cs.unibo.it/~cianca/wwwpages/coordina.html): More
Towards a Calculus for Generative Communication - Ciancarini, Gorrieri, Zavattaro (1996) (Correct)
A Coordination Model to Specify Systems Including.. - Ciancarini.. (1998) (Correct)
Coordinating Multiagent Applications on the WWW: A .. - Ciancarini.. (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC