Towards a calculus for generative communication

This publication has 9 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• On the operational semantics of a coordination language
  Published by Springer Nature ,1995
• Bauhaus Linda
  Published by Springer Nature ,1995
• The chemical abstract machine
  Theoretical Computer Science, 1992
• Coordination languages and their significance
  Communications of the ACM, 1992
• The concurrent language, Shared Prolog
  ACM Transactions on Programming Languages and Systems, 1991
• Generative communication in Linda
  ACM Transactions on Programming Languages and Systems, 1985
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• Communicating sequential processes
  Communications of the ACM, 1978