APICe » Publications » Towards a Hierarchy of Negative Test Operators for Generative Communication

Towards a Hierarchy of Negative Test Operators for Generative Communication

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}