R. Milner. The polyadic pi-calculus: a tutorial. Technical Report ECS-LFCS-91180, University of Endinburgh, 1991. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Redesign of the Oz Compiler - Bohlin, Bruce (2002) (Correct)
Modeling Software Components Using Behavior Protocols - Visnovsky (2003) (4 citations) (Correct)
PICCOLA - a Small Composition Language - Achermann, Lumpe, Schneider.. (1999) (17 citations) (Correct)
A Translation of the Pi-Calculus Into MONSTR - Banach, Balazs, Papadopoulos (1995) (2 citations) (Correct)
Component Indicators for Architecture Interaction Assessment - Payton, Davis, Gamble.. (Correct)
Proof of the subject reduction property for a π-calculus in.. - Henry-Gérard (1999) (Correct)
Components, Scripts and Glue - Schneider, Nierstrasz (1999) (5 citations) (Correct)
An Agent Architecture for Mobile Network Services: Design and.. - Schoorl (1999) (Correct)
Explicit Namespaces - Achermann, Nierstrasz (2000) (2 citations) (Correct)
Technical Note JPict -- a framework for pi Agents - Franz Achermann Software (Correct)
A Higher-Order Specification of the π-Calculus - Despeyroux (2000) (8 citations) (Correct)
A Formal Language for Composition - Lumpe, Achermann, Nierstrasz (2000) (9 citations) (Correct)
A Metamodel for Concurrent, Object-based Programming - Schneider, Lumpe (2000) (1 citation) (Correct)
Synchronizing Concurrent Objects in the pi-Calculus - Schneider, Lumpe (1997) (1 citation) (Correct)
Process- and Agent-Based Modelling Techniques for Dialogue.. - van Schooten (2000) (Correct)
Using Metaobjects to Model Concurrent Objects with PICT - Lumpe, Schneider, Nierstrasz (1996) (Correct)
A Language Framework for Distributed Programming - Lopes (1997) (51 citations) (Correct)
Causality and True Concurrency: A Data-flow Analysis of.. - Jagadeesan, Jagadeesan (1995) (3 citations) (Correct)
Requirements for a Composition Language - Nierstrasz, Meijler (1995) (27 citations) (Correct)
Synchronizing Concurrent Objects in the pi-Calculus - Schneider, Lumpe (1997) (1 citation) (Correct)
Components, Scripts and Glue - Schneider, Nierstrasz (1999) (5 citations) (Correct)
The Information Services Supermarket - a trial TINA-C Design - Mark Bagley (1995) (1 citation) (Correct)
A Translation of the Pi-Calculus Into MONSTR - Banach, Balázs, al. (1995) (2 citations) (Correct)
Modelling Objects in PICT - Schneider, Lumpe (1996) (Correct)
Causality and True Concurrency: A Data-flow - Analysis Of The (Correct)
Resources, Concurrency and Local Reasoning - O'Hearn (2005) (Correct)
Universita degli Studi di Pisa - Facolta Di Scienze (Correct)
Formal Security Analysis of Basic Network-Attached Storage - Chaudhuri, Abadi (2005) (Correct)
Formal Security Analysis of Basic Network-Attached Storage - Chaudhuri, Abadi (Correct)
Component Composition Errors and Update - Atomicity Static Analysis (2005) (Correct)
Basic Research in Computer Science - Recursion Vs Replication (Correct)
A Framework for Specifying and Verifying the Behaviour.. - Bracciali, Brogi, Turini (2004) (Correct)
D-Fusion: a Distinctive Fusion Calculus - Boreale, Buscemi, Montanari (Correct)
Preuve de la conservation des types du π-calcul en COQ - Henry-Gréard (1998) (Correct)
Notations for the Specification and Verification of.. - Woodman Palmer.. (2004) (1 citation) (Correct)
Component Composition Errors and Update Atomicity: Static.. - Adamek, Plasil (2003) (28 citations) (Correct)
Notations for the Specification and Verification.. - Woodman, Palmer.. (2004) (1 citation) (Correct)
Resources, Concurrency and Local Reasoning - O'Hearn (Correct)
μABC: A Minimal Aspect Calculus - Bruns, Jagadeesan, Jeffrey, Riely (2004) (1 citation) (Correct)
µABC: A Minimal Aspect Calculus - Bruns, Jagadeesan, Jeffrey, Riely (2004) (1 citation) (Correct)
Information Flow Security and Recursive Systems - Bossi, Macedonio, Piazza, Rossi (Correct)
Automated Software Engineering Using Concurrent Class.. - Grosu, Liu, Smolka.. (2001) (1 citation) (Correct)
Chapter 1 Syllabus - Prerequisite Calculus Category (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