R. Milner, J. Parrow, and J. Walker. A Calculus of Mobile Processes Part I and II. Information and Computation, 100:1--77, 1992. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Objects as Mobile Processes - Hüttel, Kleist (1996) (5 citations) (Correct)
Integrating Constraints and Concurrent Objects in.. - Rueda, Alvarez.. (2001) (Correct)
Integrating Constraints and Concurrent Objects in.. - Rueda, Alvarez.. (Correct)
Formal Modeling of Multi-Agent Systems: An Application of the.. - Rorie (Correct)
A Filter Model for Concurrent λ-Calculus - Dezani-Ciancaglini.. (1998) (Correct)
The Lazy Lambda Calculus in a Concurrency Scenario (Extended.. - Sangiorgi (Correct)
Synchronisation Rings - Composable Synchronisation for.. - Holmes (1999) (Correct)
Concurrency, Synchronisation and Objects - Holmes (1999) (Correct)
Implementation of "Generic Synchronization Policies" in Pict - Varone (1996) (3 citations) (Correct)
Logic for Media - The Computational Media Metaphor - Lechner, Schmid (1999) (Correct)
Formal Development of Open Distributed Systems: towards an .. - Traoré, Aredo, Stølen (Correct)
Designing Multimedia Telecommunication Services with an.. - Fuentes, Troya (Correct)
Tailorable Component Architectures for CSCW-Systems - Stiemerling, Cremers (1998) (8 citations) (Correct)
Software Architecture Specification with - Calculus Carlos Canal (Correct)
Compositional Reachability Analysis of Finite-State.. - Cheung, Kramer (1995) (9 citations) (Correct)
Towards an Object Calculus - Nierstrasz (1992) (35 citations) (Correct)
Requirements for a Composition Language - Nierstrasz, Meijler (1995) (27 citations) (Correct)
Context Constraints for Automated Compositional Reachability.. - Cheung, Kramer (1995) (Correct)
A Unifying Framework for Process Calculus Semantics of.. - Papathomas (1991) (15 citations) (Correct)
Checking and Correcting Safety Properties using Compositional .. - Cheung, Kramer (Correct)
Contextual Local Analysis for Design of Distributed Systems - Cheung, Kramer (1995) (3 citations) (Correct)
Incorporation of Context Constraints for Compositional.. - Cheung, Kramer (1996) (Correct)
A Secure Active Network Environment Architecture - Alexander (1998) (28 citations) (Correct)
Checking Subsystem Safety Properties in Compositional.. - Cheung, Kramer (1995) (16 citations) (Correct)
A Secure Active Network Environment Architecture - .. - Alexander.. (1998) (28 citations) (Correct)
VALIDE -- Formal Methods and Tools for Distributed System Design - Groups (1994) (Correct)
Relating π-calculus to Object-Z - Taguchi, Dong, al. (2004) (Correct)
A Foreign Function Interface Generator for occam-pi - Dimmich, Jacobsen (2005) (Correct)
Relating π-calculus to Object-Z - Taguchi, Dong, Ciobanu (Correct)
Non-Deterministic untyped λ-calculus - A study about.. - Liguoro (1991) (Correct)
A Filter Model for Concurrent λ-Calculus - Dezani-Ciancaglini.. (1998) (Correct)
Non Deterministic Extensions of Untyped λ-calculus - de'Liguoro, Piperno (1995) (Correct)
Bisimulations for Asynchronous Mobile Processes - Martin Hansen Hans (1995) (17 citations) Self-citation (Milner) (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