Model checking mobile processes

This publication has 12 references indexed in Scilit:

• Proof systems for Hennessy-Milner Logic with recursion
  Published by Springer Nature ,2005
• A calculus of mobile processes, I
  Published by Elsevier ,2004
• Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs
  Information and Computation, 1993
• A modal logic for message passing processes
  Published by Springer Nature ,1993
• An algebraic verification of a mobile network
  Formal Aspects of Computing, 1992
• Functions as processes
  Mathematical Structures in Computer Science, 1992
• Local model checking in the modal mu-calculus
  Theoretical Computer Science, 1991
• Modal logics for mobile processes
  Published by Springer Nature ,1991
• Computing behavioural relations, logically
  Published by Springer Nature ,1991
• Modal logics for communicating systems
  Theoretical Computer Science, 1987