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.
Security Policies as Membranes in Systems for Global.. - Gorla, Hennessy, Sassone (2004) (Correct)
No context found.
R. Milner. Communicating and Mobile Systems: the #-Calculus. Cambridge University Press, 1999.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2004) (7 citations) (Correct)
No context found.
Milner, R. (1999). Communicating and Mobile Systems: The #-Calculus. Cambridge Press.
Towards an Algebraic Theory of Typed Mobile Processes - Deng, Sangiorgi (2004) (Correct)
No context found.
R. Milner. Communicating and Mobile Systems: the #-Calculus. Cambridge University Press, 1999.
PML: Toward a High-Level Formal Language for Biological Systems - Chang, Sridharan (2003) (Correct)
No context found.
Milner, R., "Communicating and Mobile Systems: the #-calculus," Cambridge University Press, 1999 .
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2003) (7 citations) (Correct)
No context found.
R. Milner. Communicating and Mobile Systems: The #-Calculus. Cambridge Press, 1999.
POLY Language Specification - Vieira (2002) (Correct)
No context found.
Robin Milner. Communicating and Mobile Systems: the #- calculus. Cambridge University Press, 1999.
A Calculus of Higher-Order Distributed Components - Stefani (2003) (7 citations) (Correct)
No context found.
R. Milner. Communicating and mobile systems : the #-calculus. Cambridge University Press, 1999.
Generalised Object-Oriented Concepts for Inter-Agent .. - van Eijk, de Boer.. (2000) (2 citations) (Correct)
No context found.
R. Milner. Communicating and Mobile Systems: the #-Calculus. Cambridge University Press, 1999.
The Algebraic Structure of Petri Nets - Sassone (2000) (Correct)
No context found.
R. Milner (1999), Communicating and Mobile Systems: the #-Calculus. Cambridge University Press.
Mobile Processes with Dependent Communication Types and.. - Amtoft, Wells (2002) (7 citations) (Correct)
No context found.
R. Milner. Communicating and Mobile Systems: The #-Calculus. Cambridge Press, 1999.
Ensuring Termination by Typability - Deng, Sangiorgi (Correct)
No context found.
R. Milner. Communicating and Mobile Systems: the -Calculus. Cambridge University Press, May 1999.
Spatial Logic Model Checker User's Guide - version 1.0 - Vieira, Caires (2005) (1 citation) (Correct)
No context found.
R. Milner. Communicating and Mobile Systems: the #-calculus. Cambridge University Press, 1999. 15
Security Policies as Membranes in Systems for Global Computing - Gorla, al. (2004) (Correct)
No context found.
R. Milner. Communicating and Mobile Systems: the #-Calculus. Cambridge University Press, 1999.
Process Algebra for Agent Communication: - General Semantic Approach (Correct)
No context found.
R. Milner. Communicating and Mobile Systems: the -Calculus. Cambridge University Press, 1999.
Towards an Algebraic Theory of Typed Mobile Processes - Deng, Sangiorgi (Correct)
No context found.
R. Milner. Communicating and Mobile Systems: the #-Calculus. Cambridge University Press, 1999.
Linear Logic and Noncommutativity in the Calculus of Structures - Straßburger (2003) (21 citations) (Correct)
No context found.
Robin Milner. Communicating and Mobile Systems: The #-Calculus.Cam- bridge University Press, 2001.
Mobile Processes with Dependent Communication Types and.. - Amtoft, Wells (2002) (7 citations) (Correct)
No context found.
R. Milner. Communicating and Mobile Systems: The #-Calculus. Cambridge Press, 1999.
Specification and Verification of Synchronizing - Concurrent Objects Gabriel (Correct)
No context found.
R. Milner. Communicating and Mobile Systems: the #-calculus. Cambridge University Press, 1999.
Relating π-calculus to Object-Z - Taguchi, Dong, Ciobanu (Correct)
No context found.
R. Milner. Communicating and mobile systems : the - calculus. Cambridge University Press, 1999.
Communicating Concurrent Objects in HiddenCCS - Ciobanu, Lucanu (2004) (Correct)
No context found.
R. Milner. Communicating and Mobile Systems: the #-calculus. Cambridge University Press, 1999.
Inductive Verification of Cryptographic Protocols - Bella (2000) (4 citations) (Correct)
No context found.
R. Milner. Communicating and Mobile Systems: the -Calculus. Cambridge University Press, 1999.
A Compositional Logic for Protocol Correctness - Durgin, Mitchell, Pavlovic (2001) (14 citations) (Correct)
No context found.
R. Milner. Communicating and Mobile Systems: The #- Calculus. Cambridge University Press, Cambridge, U.K, 1999.
Conversation Protocols: A Formalism for Specification and.. - Fu, Bultan, Su (2004) (1 citation) (Correct)
No context found.
R. Milner. Communicating and Mobile Systems: the #-Calculus. Cambridge University Press, 1999.
Using Genetic Programming to Generate Protocol Adaptors.. - Van Belle, Mens, D'Hondt (2003) (Correct)
No context found.
Milner, R.: 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.
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