• Publications
  • Influence
Calculus of Mobile Processes
The a-calculus is presented, a calculus of communicating systems in which one can naturally express processes which have changing structure, including the algebraic theory of strong bisimilarity and strong equivalence, including a new notion of equivalence indexed by distinctions.
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
The Concurrency Workbench is an automated tool for analyzing networks of finite-state processes expressed in Milner's Calculus of Communicating Systems and a large number of interesting verification methods can be formulated as combinations of a small number of primitive algorithms.
The fusion calculus: expressiveness and symmetry in mobile processes
  • J. Parrow, B. Victor
  • Computer Science
    Proceedings. Thirteenth Annual IEEE Symposium on…
  • 21 June 1998
The fusion calculus contains the polyadic /spl pi/-calculus as a proper subcalculus and thus inherits all its expressive power, and is presented as a significant step towards a canonical calculus of concurrency.
Modal Logics for Mobile Processes
An Introduction to the π-Calculus
  • J. Parrow
  • Computer Science
    Handbook of Process Algebra
  • 2001
Psi-calculi: a framework for mobile processes with nominal data and logic
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processes and their names
Algebraic Theories for Name-Passing Calculi
This work provides complete axiomatisations of late and early bisimulation equivalences in such calculi as a calculus of deterministic processes which is reminiscent of sequential functional programs with a conditional construct.