G. Boudol. Asynchrony and the #-calculus (note). Rapport de Recherche 1702, INRIA Sophia-Antipolis, 1992. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Bisimulation Proof Methods for Mobile Ambients - Merro, Nardelli (2003) (10 citations) (Correct)
Fine Grained Multithreading with Process Calculi - Lopes, Silva, Vasconcelos (2001) (Correct)
Lambda and pi calculi, CAM and SECD machines - Vasconcelos (2001) (Correct)
Bisimulations for Asynchronous Mobile Processes - Martin Hansen Hans (1995) (17 citations) (Correct)
Decoding Choice Encodings - Nestmann, Pierce (1999) (52 citations) (Correct)
Mobile Objects as Mobile Processes - Merro, Kleist, Nestmann (2001) (Correct)
Towards program development, specification and.. - Bednarczyk.. (1995) (Correct)
Solo Diagrams - Laneve, Parrow, Victor (2001) (2 citations) (Correct)
Linda based Applicative and Imperative Process Algebras - De Nicola, Pugliese (Correct)
Ready Simulation, Bisimulation, and the Semantics of CCS-Like.. - Bloom (1993) (Correct)
Fine Grained Multithreading with Process Calculi - Lopes, Silva (2000) (Correct)
Some results in the Join-Calculus - Levy (1997) (8 citations) (Correct)
Bisimulations in the Join-Calculus - Fournet, Laneve (1999) (1 citation) (Correct)
Typing Non-Uniform Concurrent Objects - Ravara, Vasconcelos (1999) (10 citations) (Correct)
Barbed Bisimulation - Milner, Sangiorgi (1992) (167 citations) (Correct)
Communication Errors in the pi-Calculus are Undecidable - Vasconcelos, Ravara (1999) (3 citations) (Correct)
A Formal Language for Composition - Lumpe, Achermann, Nierstrasz (2000) (9 citations) (Correct)
SOMETIMES "TOMORROW" IS "SOMETIME" - Action Refinement in a.. - Fiadeiro, Maibaum (1994) (3 citations) (Correct)
Bisimulations for Asynchronous Mobile Processes - Hansen, Hüttel, Kleist (1995) (17 citations) (Correct)
Information Flow vs. Resource Access in the Asynchronous.. - Hennessy, Riely (2000) (8 citations) (Correct)
Typing Non-Uniform Concurrent Objects - Ravara, Vasconcelos (2000) (10 citations) (Correct)
Information Flow vs. Resource Access in the Asynchronous.. - Hennessy, al. (2000) (8 citations) (Correct)
Bisimulations for Asynchronous Mobile Processes - Hansen, Hüttel, Kleist (1995) (17 citations) (Correct)
Interpreting Functions as π-Calculus Processes: A Tutorial - Sangiorgi (1999) (3 citations) (Correct)
Decoding Choice Encodings - Nestmann, Pierce (1997) (52 citations) (Correct)
Bisimulations in the Join-Calculus - Boreale, Fournet, Laneve (1997) (10 citations) (Correct)
Bisimulations for Asynchronous Mobile Processes - Hansen, Hüttel, Kleist (1995) (17 citations) (Correct)
Can Actors and π-Agents Live Together? - Montanari, Talcott (1998) (Correct)
Multi-Paradigm Programming through Graph Rewriting - Final Report .. - Glauert (Correct)
Linda based Applicative and Imperative Process Algebras - De Nicola, Pugliese (2000) (Correct)
Linear Forwarders - Gardner, Laneve, Wischik (2003) (Correct)
Information Flow vs. Resource Access in the Asynchronous.. - Hennessy, Riely (2000) (8 citations) (Correct)
MIKADO Global Computing Project IST-2001-32222 - Mobile Calculi Based (Correct)
What is a `Good' Encoding of Guarded Choice? - Nestmann (1997) (Correct)
Bisimulations in the Join-Calculus - Fournet, Laneve (2001) (1 citation) (Correct)
A Hierarchy of Equivalences for Asynchronous Calculi - Fournet, Gonthier (2003) (16 citations) (Correct)
Can Actors and π-Agents Live Together? - Montanari, Talcott (Correct)
Decoding Choice Encodings - Nestmann, Pierce (1996) (52 citations) (Correct)
Communication Errors in the π-Calculus are Undecidable - Vasconcelos, Ravara (Correct)
Bisimulation Proof Methods for Mobile Ambients - Universita (2003) (10 citations) (Correct)
On Asynchrony in Name-Passing Calculi - Merro, Sangiorgi (2002) (47 citations) (Correct)
Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (Correct)
Typing Non-uniform Concurrent Objects - Antonio Ravara And (1999) (10 citations) (Correct)
An Asynchronous, Distributed Implementation of Mobile.. - Fournet, Lévy.. (2000) (8 citations) (Correct)
An Asynchronous, Distributed Implementation of Mobile.. - Fournet, Lévy.. (8 citations) (Correct)
An Asynchronous, Distributed Implementation of Mobile.. - Fournet, Lévy.. (2000) (8 citations) (Correct)
The Security Picalculus and Non-interference - Hennessy (2000) (4 citations) Self-citation (Report) (Correct)
Typing Non-uniform Concurrent Objects - Ravara (1999) (10 citations) Self-citation (Erard) (Correct)
Objects as Mobile Processes - Hüttel, Kleist (1996) (5 citations) Self-citation (Report) (Correct)
Bisimulations for Asynchronous Mobile Processes - Hansen, Hüttel, Kleist (1996) (17 citations) Self-citation (Report) (Correct)
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