Applications of the calculus of trees to process description languages

This publication has 18 references indexed in Scilit:

• Introducing a calculus of trees
  Lecture Notes in Computer Science, 1991
• A partial ordering semantics for CCS
  Theoretical Computer Science, 1990
• A rewriting strategy to verify observational congruence
  Information Processing Letters, 1990
• Canonical Representatives for Observational Equivalence Classes
  Published by Elsevier ,1989
• Causal trees
  Published by Springer Nature ,1989
• Bisimulations and abstraction homomorphisms
  Journal of Computer and System Sciences, 1987
• Algebra of communicating processes with abstraction
  Theoretical Computer Science, 1985
• Algebraic laws for nondeterminism and concurrency
  Journal of the ACM, 1985
• A complete inference system for a class of regular behaviours
  Journal of Computer and System Sciences, 1984
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980