Modal Logics for Mobile Processes

Robin Milner, Joachim Parrow, David Walker

Research output: Chapter in Book/Report/Conference proceedingConference contribution


In process algebras, bisimulation equivalence is typically defined directly in terms of the operational rules of action; it also has an alternative characterisation in terms of a simple modal logic (sometimes called Hennessy-Milner logic. This paper first defines two forms of bisimulation equivalence for the π-calculus, a process algebra which allows dynamic reconfiguration among processes; it then explores a family of possible logics, with different modal operators. It is proven that two of these logics characterise the two bisimulation equivalences. Also, the relative expressive power of all the logics is exhibited as a lattice.
Original languageEnglish
Title of host publicationCONCUR '91
Subtitle of host publication2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26–29, 1991 Proceedings
PublisherSpringer Press
Number of pages16
ISBN (Electronic)978-3-540-38357-4
ISBN (Print)978-3-540-54430-2
Publication statusPublished - 1991


Dive into the research topics of 'Modal Logics for Mobile Processes'. Together they form a unique fingerprint.

Cite this