Towards a Calculus for Generative Communication

  title={Towards a Calculus for Generative Communication},
  author={Paolo Ciancarini and Roberto Gorrieri and Gianluigi Zavattaro},
We introduce a theory for generatively communicating concurrent processes. Generative communication is an asynchronous interprocess communication mechanism based on a shared data structure; information items can be introduced into, read or withdrawn from such a data structure by parallel processes. The most representative language based on such a paradigm is the coordination language Linda. Our idea is to embed generative communication in a process algebra like CCS. The advantage of having a… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 22 references

An Observational Semantics for Linda

  • De Nicola, R Pugliese
  • STRICT'95, series Workshop in Computing
  • 1995

Bauhaus Linda, in Object-Based Models and Languages for Concurrent Systems

  • N Carriero, D Gelernter, L Zuck
  • LNCS
  • 1995

Generative Communication in Process Algebra

  • P Ciancarini, R Gorrieri, G Zavattaro
  • Generative Communication in Process Algebra
  • 1995

Similar Papers

Loading similar papers…