Proved trees

This publication has 16 references indexed in Scilit:

• An algebraic view of interleaving and distributed operational semantics for CCS
  Published by Springer Nature ,2005
• Observing localities
  Lecture Notes in Computer Science, 1991
• A partial ordering semantics for CCS
  Theoretical Computer Science, 1990
• Towards the unification of models for concurrency
  Published by Springer Nature ,1990
• Causal trees
  Published by Springer Nature ,1989
• Partial orderings descriptions and observations of nondeterministic concurrent processes
  Published by Springer Nature ,1989
• Algebraic laws for nondeterminism and concurrency
  Journal of the ACM, 1985
• Partial ordering derivations for CCS
  Published by Springer Nature ,1985
• Algèbre de processus et synchronisation
  Theoretical Computer Science, 1984
• Process algebra for synchronous communication
  Information and Control, 1984