Modal Logics for Mobile Processes
Author | : Robin Milner |
Publisher | : |
Total Pages | : 19 |
Release | : 1991 |
ISBN-10 | : OCLC:25601217 |
ISBN-13 | : |
Rating | : 4/5 (17 Downloads) |
Download or read book Modal Logics for Mobile Processes written by Robin Milner and published by . This book was released on 1991 with total page 19 pages. Available in PDF, EPUB and Kindle. Book excerpt: Abstract: "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 [sic]. This paper first defines two forms of bisimulation equivalence for the [pi]-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."