R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes, I and II. Information and Computation, 100(1):1--40, 1992. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Relating Multiset Rewriting and Process - Algebras For Security (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes, I and II. Information and Computation, 100(1):1--40, 1992.
From Rewrite Rules to Bisimulation - Congruences Peter Sewell (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, Parts I + II. Information and Computation, 100(1):1-77, 1992.
Towards Automatic Verification of Erlang Programs by - Calculus Translation Chanchal (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes. Information and Computation, 100(1):1--77, 1992.
Type-Safe Distributed Programming for OCaml - John Billings Peter (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, Parts I + II. Information and Computation, 100(1):1--77, 1992.
Unknown - (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, Parts I + II. Information and Computation, 100(1):1--77, 1992.
On Designing CO$T: A New Approach and - Programming Environment For (Correct)
No context found.
Milner R., Parrow J., Walker D., A Calculus of Mobile Processes, I & II, Information and Computation 100, 1992, 1-77.
Unknown - Eugene Eberbach Comp (Correct)
No context found.
Milner R., Parrow J., Walker D., A Calculus of Mobile Processes, I & II, Information and Computation 100, 1992, 1-77.
Decision Theory = Performance Measure - Theory Uncertainty Theory (Correct)
No context found.
Milner R., Parrow J., Walker D., A Calculus of Mobile Processes, I & II, Information and Computation 100, 1992, 1-77.
Fundamenta Informaticae 68 (2005) 47--102 47 IOS Press - Calculus Of Bounded (Correct)
No context found.
Milner R., Parrow J., Walker D., A Calculus of Mobile Processes, I & II, Information and Computation 100, 1992, 1-77.
Verifiable Agent Dialogues - Walton (2005) (Correct)
No context found.
R. Milner, J. Parrow, D. Walker, A Calculus of Mobile Processes (Part 1/2), Information and Computation 100 (1) (1992) 1--77.
Typed Protocols for Peer-to-Peer Service Composition - Christopher Walton Centre (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes (Part 1/2). Information and Computation, 100(1):1--77, September 1992.
Specifying Protocols for Knowledge Transfer and Action.. - Grando, Walton (2006) (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes (Part 1/2). Information and Computation, 100(1):1--77, September 1992.
Secure Composition of Insecure Components - Sewell, Vitek (1999) (23 citations) (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, Parts I + II. Information and Computation, 100(1):1--77, 1992.
Unknown - (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, Parts I + II. Information and Computation, 100(1):1--77, 1992.
Agent Protocols for Peer-to-Peer Architectures - Walton (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes (Part 1/2). Information and Computation, 100(1):1--77, September 1992.
Models for Name-Passing Processes: Interleaving and Causal.. - Cattani, Sewell (2000) (4 citations) (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes. Part I and II. Information and Computation, 100(1):177, 1992.
A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1998) (353 citations) (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts I and II. Information and Computation, pages 1--40 and 41--77, September 1992.
Secrecy by Typing in Security Protocols - Abadi (1998) (145 citations) (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts I and II. Information and Computation, pages 1--40 and 41--77, September 1992.
Equational Properties of Mobile Ambients - Gordon, Cardelli (1999) (35 citations) (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts I and II. Information and Computation, 100:1--40 and 41--77, 1992.
Transactors: A Programming Model for Maintaining Globally.. - Field, Varela (2005) (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts I-II. Information and Computation, 100(1):1--77, 1992.
Prototyping Concurrent Systems in Cw - Nuno Rodrigues Lus (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes (parts I and II). Information and Computation, 100(1):1--77, 1992.
Bigraphical Models of Context-aware Systems - Birkedal, Debois, Elsborg.. (2005) (Correct)
No context found.
Robin Milner. Pure bigraphs: Structure and dynamics. Information and Computation, 2005. To appear.
January 1998 CSTR-98-001 - University Of Bristol (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes, I. Information and Computation, 100#1#:1#40, Sept. 1992.
Who is Pointing When to Whom: On Model-Checking Pointer.. - Distefano, Rensink.. (2003) (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, I and II. Information and Computation, 100(1):1--40,41--77, 1992.
Assigning Types to Processes - Yoshida, Hennessy (2000) (32 citations) (Correct)
No context found.
Milner, R., Parrow, J.G. and Walker, D.J., A Calculus of Mobile Processes. Information and Computation, 100(1), pp.1--77, 1992.
Completeness and Herbrand Theorems for Nominal Logic - Cheney (2006) (Correct)
No context found.
Robin Milner, Joachim Parrow, and David Walker, A calculus of mobile processes, I-II, Information and Computation, vol. 100 (1992), no. 1, pp. 1--77.
XPi: a typed process calculus for XML messaging - Acciai, Boreale (2004) (1 citation) (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A calculus of Mobile Processes, part I and II. Information and Computation, 100:1--41 and 42--78, 1992.
A Distributed Kripke Semantics - Chadha, al. (2004) (1 citation) (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts I and II. Information and Computation, 100(1):1--77, 1992.
Combinatory Representation of Mobile Processes - Kohei Honda Kohei (1994) (19 citations) (Correct)
No context found.
Milner, R., Parrow, J.G. and Walker, D.J., A Calculus of Mobile Processes. Information and Computation, 100(1), pp.1--77, 1992.
M³: Mobility Types for Mobile Processes in.. - Coppo.. (2002) (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts 1-2. Information and Computation, 100(1):1--77, 1992.
Modelling Dynamic Web Data - Gardner, Maffeis (Correct)
No context found.
Milner, R., J. Parrow and J. Walker, A calculus of mobile processes, I and II, Information and Computation 100 (1992), pp. 1--40,41--77.
A Modal Logic for Mobile Agents - De Nicola, Loreti (Correct)
No context found.
R. Milner, J. Parrow, and J. Walker. A Calculus of Mobile Processes, I and II. Information and Computation, 100(1):1--40, 41--77, 1992.
The M³ Paradigm - Types and Type Inference.. - Coppo.. (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts 1-2. Information and Computation, 100(1):1--77, 1992.
αProlog: A Logic Programming Language with Names.. - Cheney, Urban (Correct)
No context found.
Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes, I-II. Information and Computation, 100(1):1--77, September 1992.
A Hybrid Intuitionistic Logic: Semantics and Decidability - Chadha, Macedonio, Sassone (2005) (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts I and II. Information and Computation, 100(1):1--77, 1992.
A Formal Basis for Reasoning on Programmable QoS - De Nicola, Ferrari.. (2003) (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, I and II. Information and Computation, 100(1):1--40,41--77, September 1992.
Communication and Mobility Control in Boxed Ambients - Bugliesi, Crafa, Merro.. (2003) (5 citations) (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes, Parts I and II. Information and Computation, 100:1--77, September 1992.
A Semantic Theory for Global Computing Systems - Daniele Gorla Rosario (2003) (Correct)
No context found.
R. Milner, J. Parrow, and J. Walker. A Calculus of Mobile Processes, I and II. Information and Computation, 100(1):1--40, 41--77, 1992.
A Coq Library for Verification of Concurrent Programs - Affeldt, Kobayashi (2004) (Correct)
No context found.
Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes, parts I and II. Information and Computation, 100(1):1--77, Sep. 1992.
Open Ended Systems, Dynamic Bisimulation and Tile Logic - Bruni, Montanari, Sassone (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes (parts I and II). Information and Computation, 100:1-77, 1992.
Sequentiality and the π-Calculus - Berger, Honda, Yoshida (2001) (Correct)
No context found.
Milner, R., Parrow, J.G. and Walker, D.J., A Calculus of Mobile Processes, Information and Computation 100(1), 1-77, 1992.
Typing and Subtyping Mobility in Boxed Ambients - Merro, Sassone (2002) (11 citations) (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, (Parts I and II). Information and Computation, 100:1--77, 1992.
Communication Interference in Mobile Boxed Ambients - Bugliesi, Crafa, Merro.. (2002) (27 citations) (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes, Parts I and II. Information and Computation, 100:1--77, September 1992.
A Framework for Specifying and Verifying the Behaviour.. - Bracciali, Brogi, Turini (2004) (Correct)
No context found.
R. Milner, J. Parrow, D. Walker, A calculus of mobile processes, I and II, Information and Computation 100 (1) (1992) 1--40,41--77.
Replication in Concurrent Combinators - Honda, Yoshida (1994) (9 citations) (Correct)
No context found.
Milner, R., Parrow, J.G. and Walker, D.J., A Calculus of Mobile Processes, Information and Computation 100(1), pp.1--77, 1992.
Unknown - (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, (Parts I and II). Information and Computation, 100:1--77, 1992.
A Dependently Typed Ambient Calculus - Lhoussaine, Sassone (2003) (9 citations) (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts i and ii. Information and Computation, 100(1):1--77, 1992.
Nominal Logic Programming - Cheney (2004) (Correct)
No context found.
Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes, I-II. Information and Computation, 100(1):1--77, September 1992.
Deriving Bisimulation Congruences: A 2-categorical Approach - Sassone, al. (2002) (2 citations) (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, (Parts I and II). Information and Computation, 100:1-77, 1992. 14
Session Types for Functional Multithreading - Vasconcelos, Gay, Ravara (2004) (3 citations) (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, I and II. Information and Computation, 100(1):1--77, September 1992.
First 50 documents Next 50
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