Enter a brief description of your changes
(Required)
Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
Towards a Hierarchy of Negative Test Operators for Generative Communication
Gianluigi Zavattaro
EXPRESS '98, 5th International Workshop on Expressiveness in Concurrency (Satellite Workshop of CONCUR '98), pages 154–170
Electronic Notes in Theoretical Computer Science 16(2)
Elsevier Science B.V.
1998
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.
