Some congruence properties for π-calculus bisimilarities

This publication has 6 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• π-Calculus, internal mobility, and agent-passing calculi
  Theoretical Computer Science, 1996
• A theory of bisimulation for the π-calculus
  Acta Informatica, 1996
• A fully abstract semantics for causality in the π-calculus
  Published by Springer Nature ,1995
• Comparing locality and causality based equivalences
  Acta Informatica, 1994
• Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
  Indagationes Mathematicae, 1972