Towards a Hierarchy of Negative Test Operators for Generative Communication

Last modified by Andrea Omicini on 01/05/2021 16:50

Gianluigi Zavattaro

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 after the test: tfa(a) tests the absence of data of kind a, t&e(a) instantaneously produces a new occurrence of datum a after having tested that no other occurrences are available, t&p(a,b) atomically tests the absence of data a and produces one instance of datum b. We prove the existence of a strict hierarchy of expressiveness among these operators.

Electronic Notes in Theoretical Computer Science 16(2), pages 154-170, 1998, Elsevier Science B.V.
EXPRESS '98, 5th International Workshop on Expressiveness in Concurrency (Satellite Workshop of CONCUR '98)
@article{zavattaro-entcs16,
Author = {Zavattaro, Gianluigi},
Doi = {10.1016/S1571-0661(04)00125-2},
Issn = {1571-0661},
Journal = {Electronic Notes in Theoretical Computer Science},
Note = {EXPRESS '98, 5th International Workshop on Expressiveness in Concurrency (Satellite Workshop of CONCUR '98)},
Number = 2,
Pages = {154--170},
Title = {Towards a Hierarchy of Negative Test Operators for Generative Communication},
Url = {http://www.sciencedirect.com/science/article/pii/S1571066104001252},
Volume = 16,
Year = 1998}

Tags:
    

Publication Data

Status
Published

IDs

(DOI)
10.1016/S1571-0661(04)00125-2

Links
Original Page

Biblio

(Print ISSN)
1571-0661

BibTeX

(BibTeX ID)
zavattaro-entcs16
(BibTeX Category)
article

2011 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna
1.1