R. Milner. Communicating and mobile systems : the #-calculus. Cambridge University Press, 1999. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Knowledge, State, Event and Time in System Modeling -.. - Dong, Duke, Sun (2006) (Correct)
No context found.
R. Milner. Communicating and mobile systems : the #-calculus. Cambridge University Press, 1999.
Relating π-calculus to Object-Z - Taguchi, Dong, al. (2004) (Correct)
No context found.
R. Milner. Communicating and mobile systems : the #- calculus. Cambridge University Press, 1999.
Relating State-Based and Process-Based Concurrency through.. - Cervesato, Scedrov (2006) (Correct)
No context found.
Milner, R., "Communicating and Mobile Systems: the #-Calculus," Cambridge University Press, 1999.
Relating Multiset Rewriting and Process - Algebras For Security (Correct)
No context found.
R. Milner. Communicating and Mobile Systems: the #-Calculus. Cambridge University Press, 2000.
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) (Correct)
No context found.
Robin Milner. Communicating and Mobile Systems: the -Calculus. Cambridge University Press, 1999.
The Logical Meeting Point of Multiset Rewriting and Process.. - Cervesato (2004) (3 citations) (Correct)
No context found.
R. Milner. Communicating and Mobile Systems: the #-Calculus. Cambridge University Press, 1999.
A CPS Encoding of Name-Passing in Higher-Order.. - Bundgaard.. (2005) (Correct)
No context found.
R. Milner, Communicating and Mobile Systems: the #-calculus, Cambridge University Press, 1999.
Verified Interoperable Implementations of Security Protocols - Karthikeyan Bhargavan Edric (2006) (Correct)
No context found.
R. Milner. Communicating and Mobile Systems: the #- Calculus. CUP, 1999.
Types for the Ambient Calculus - Luca Cardelli And (2002) (13 citations) (Correct)
No context found.
R. Milner. Communicating and Mobile Systems: the -Calculus. CUP, 1999.
Secrecy and Group Creation - Luca Cardelli Giorgio (2000) (43 citations) (Correct)
No context found.
R. Milner. Communicating and Mobile Systems: the #-Calculus. Cambridge University Press, 1999.
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) (Correct)
No context found.
Robin Milner. Communicating and Mobile Systems: the #-Calculus. Cambridge University Press, 1999.
Open Modules: Modular Reasoning about Advice - Aldrich (2005) (8 citations) (Correct)
No context found.
R. Milner. Communicating and Mobile Systems: The #-Calculus. Cambridge University Press, 1999.
Monadic Concurrent Linear Logic Programming - Lopez, Pfenning, Polakow, Watkins (2005) (Correct)
No context found.
R. Milner. Communicating and Mobile Systems: the #-Calculus. Cambridge University Press, 1999.
Towards Concrete Concurrency: occam-pi on the LEGO Mindstorms - Jacobsen, Jadud (2005) (Correct)
No context found.
R. Milner. Communicating and mobile systems: the #-calculus. Cambridge University Press, 1999.
XML-based Reference Modelling: Foundations of an EPC Markup.. - Mendling, Nüttgens (2004) (Correct)
No context found.
Milner, R.: Communicating and Mobile Systems: The -Calculus. Cambridge 1999.
Linear Logic and Noncommutativity in the Calculus of Structures - Straßburger (2003) (Correct)
No context found.
Robin Milner. Communicating and Mobile Systems: The #-Calculus.Cam- bridge University Press, 2001.
Consistency for Web Services Applications - Paul Greenfield Dean (Correct)
No context found.
R. Milner. Communicating and mobile systems: the #- calculus. Cambridge University Press 1999.
Ensuring Termination by Typability - Deng, Sangiorgi (Correct)
No context found.
R. Milner. Communicating and Mobile Systems: the #-Calculus. Cambridge University Press, 1999.
A Calculus for Shapes in Time and Space - Andreas Schafer Department (Correct)
No context found.
R. Milner. Communicating and mobile systems: the #-calculus. Cambridge University Press, 1999.
Simulation-Based Performance Modeling of UML Software Architectures - Marzolla (2004) (3 citations) (Correct)
No context found.
R. Milner. Communicating and Mobile Systems: The #-Calculus. Cambridge University Press, 1999.
Bisimulation Congruences for Homer - a calculus of.. - Hildebrandt.. (2004) (Correct)
No context found.
Milner, R.: Communicating and Mobile Systems: the #-Calculus. Cambridge University Press (1999)
A CPS Encoding of Name-Passing in Higher-Order.. - Bundgaard.. (2004) (Correct)
No context found.
Milner, R., "Communicating and Mobile Systems: the #-calculus," Cambridge University Press, 1999.
Towards Performance Evaluation of Mobile Systems in UML - Balsamo, Marzolla (2003) (Correct)
No context found.
R. Milner. Communicating and Mobile Systems: The #- Calculus. Cambridge University Press, 1999.
Towards a Primitive Higher Order Calculus - Of Broadcasting Systems (Correct)
No context found.
Robin Milner. Communicating and Mobile Systems: the -Calculus. Cambridge University Press, 1999.
Towards a Primitive Higher Order Calculus - Of Broadcasting Systems (Correct)
No context found.
Robin Milner. Communicating and Mobile Systems: the -Calculus. Cambridge University Press, 1999.
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