An Observational Semantics for Linda

This publication has 8 references indexed in Scilit:

• An algebra for process creation
  Acta Informatica, 1992
• The concurrent language, Shared Prolog
  ACM Transactions on Programming Languages and Systems, 1991
• A behavioural semantics for Linda-2
  Software Engineering Journal, 1991
• Linda in context
  Communications of the ACM, 1989
• Generative communication in Linda
  ACM Transactions on Programming Languages and Systems, 1985
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• Process algebra for synchronous communication
  Information and Control, 1984
• Parallel Prefix Computation
  Journal of the ACM, 1980