Towards a Hierarchy of Negative Test Operators for Generative Communication

@article{Zavattaro1998TowardsAH,
  title={Towards a Hierarchy of Negative Test Operators for Generative Communication},
  author={Gianluigi Zavattaro},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={1998},
  volume={16},
  pages={154-170}
}
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 diiering in the ability of instantaneously producing new data… CONTINUE READING
Highly Cited
This paper has 24 citations. REVIEW CITATIONS