Robin Milner, Joachim Parrow and David Walker  Home/Search
Context Related
| sics.se/~joachim/modmob.ps.Z it.kth.se/~joachim/modmob.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: docs.uu.se/docs/...mobility.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In process algebras, bisimulation equivalence is typically defined directly in terms of the operational rules of action; it also has an alternative characterization 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... (Update)
Cited by: More
Discrimination by Parallel Observers - Mariangiola Dezani-Ciancaglini.. (Correct)
From Process Logic to Program Logic - Honda (2004) (Correct)
Probabilistic Asynchronous π-Calculus - Herescu, Palamidessi (2000) (Correct)
Active bibliography (related documents): More All
0.0: The Polyadic pi-Calculus: a Tutorial - Milner (1991) (Correct)
0.0: The Polyadic \pi-Calculus: a Tutorial - Milner (1991) (Correct)
0.0: Description and Verification of Mobile Processes with Graph.. - König (Correct)
Similar documents based on text: More All
0.0: The Concurrency Workbench: A Semantics Based Tool for the.. - Cleaveland, al. (1992) (Correct)
0.0: A Model Checker for Value-Passing Mu-Calculus using Logic.. - Ramakrishnan (2001) (Correct)
0.0: Solos in Concert - Laneve, Victor (1999) (Correct)
Related documents from co-citation: More All
18: Information and Computation (context) - Milner, Parrow et al. - 1992
17: Communication and Concurrency (context) - Milner - 1989
15: Communicating Sequential Processes (context) - Hoare - 1985
BibTeX entry: (Update)
R. Milner, J. Parrow, and D. Walker. Modal logics for mobile processes. TCS, 114:149--171, 1993. http://citeseer.ist.psu.edu/milner93modal.html More
@article{ milner93modal,
author = "Robin Milner and Joachim Parrow and David Walker",
title = "Modal logics for mobile processes",
journal = "Theoretical Computer Science",
volume = "114",
number = "1",
pages = "149--171",
year = "1993",
url = "citeseer.ist.psu.edu/milner93modal.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and Concurrency (context) - Milner - 1989
357 Algebraic Laws for Non-determinism and Concurrency (context) - Hennessy, Milner - 1985
299 Algebraic Theory of Processes (context) - Hennessy - 1988
204 Lecture Notes in Computer Science (context) - Milner, of - 1980
137 Laboratory for Foundations of Computer Science (context) - Milner, Parrow et al. - 1989
137 Laboratory for Foundations of Computer Science (context) - Milner, Parrow et al. - 1989
38 Lecture Notes in Computer Science (context) - Park
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.docs.uu.se/docs/fm/mobility.shtml): More
Trios in Concert - Parrow (1998) (Correct)
Algebraic Theories for Name-Passing Calculi - Parrow, Sangiorgi (1994) (Correct)
A Calculus of Mobile Processes, Part I - Milner, Parrow, Walker (1989) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC