Davide Sangiorgi  Home/Search
Context Related
| sop.inria.fr/meije...Receptiveness.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fermivista.math...tpsop.inria.fr (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In a process calculus, we say that a name x is uniformly receptive for a process P if: (1) at any time P is ready to accept an input at x, at least as long as there are processes that could send messages at x; (2) the input offer at x is functional, that is, all messages received by P at x are applied to the same continuation. In the -calculus this discipline is employed, for instance, when modeling functions, objects, higher-order communications, remote-procedure calls. We formulate the... (Update)
Cited by: More
XPi: a typed process calculus for XML messaging - Acciai, Boreale (2004) (Correct)
Linearity and Bisimulation - Yoshida, Honda, Berger (2002) (Correct)
Sequentiality and the π-Calculus - Berger, Honda, Yoshida (2001) (Correct)
Similar documents (at the sentence level):
17.1%: The name discipline of uniform receptiveness (Extended Abstract) - Sangiorgi (Correct)
5.4%: Typed Pi-Calculus At Work: A Proof of... - Sangiorgi (Correct)
Active bibliography (related documents): More All
0.2: Locality and Polyadicity in Asynchronous Name-Passing Calculi - Merro (2000) (Correct)
0.2: Programming with Variable Functions - Odersky (1998) (Correct)
0.2: Linear Logic and Noncommutativity in the Calculus of Structures - Straßburger (2003) (Correct)
Similar documents based on text: More All
0.2: Typed pi-calculus at work: a proof of Jones's parallelisation.. - Sangiorgi (1996) (Correct)
0.2: Local Liveness for Compositional Modeling of Fair Reactive.. - Alur, Henzinger (1995) (Correct)
0.2: Modularity for Timed and Hybrid Systems - Alur, Henzinger (1997) (Correct)
Related documents from co-citation: More All
35: Information and Computation (context) - Milner, Parrow et al. - 1992
21: A partially deadlock-free typed process calculus - Kobayashi - 1997
21: Pict: A programming language based on the pi-calculus - Pierce, Turner - 1997
BibTeX entry: (Update)
Davide Sangiorgi. The name discipline of uniform receptiveness. In Proceedings of 24th International Colloquium on Automata, Languages, and Programming, July 1997. http://citeseer.ist.psu.edu/sangiorgi97name.html More
@article{ sangiorgi99name,
author = "Davide Sangiorgi",
title = "The name discipline of uniform receptiveness",
journal = "Theoretical Computer Science",
volume = "221",
number = "1--2",
pages = "457--493",
year = "1999",
url = "citeseer.ist.psu.edu/sangiorgi97name.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
854 Information and Computation (context) - Milner, Parrow et al. - 1992
248 Expressing Mobility (context) - Sangiorgi - 1992
200 Pict: A programming language based on the pi-calculus - Pierce, Turner - 1997
146 Typing and subtyping for mobile processes - Pierce, Sangiorgi - 1996
127 Information and Computation (context) - Walker, the - 1995
115 An asynchronous model of locality (context) - Amadio - 1997
108 Linearity and the picalculus - Kobayashi, Pierce et al. - 1996
86 A partially deadlock-free typed process calculus - Kobayashi - 1997
67 Composing processes - Honda - 1996
56 Behavioral equivalence in the polymorphic pi-calculus - Pierce, Sangiorgi - 1997
48 Types for dyadic interaction - Honda - 1993
44 internal mobility and agent-passing calculi (context) - Sangiorgi - 1996
31 Typing the use of resources in a concurrent calculus (context) - Boudol - 1997
25 An interpretation of typed objects into typed -calculus (context) - Sangiorgi - 1996
22 a second generation calculus for higherorder processes (context) - Thomsen - 1993
15 The geometry of implementation (context) - Mackie - 1994
14 Constraining interference in an object-based design method (context) - Jones - 1993
10 The ReAEexive Chemical Abstract Machine and the Join calculu.. (context) - Fournet, Gonthier - 1996
7 The problem of iWeak Bisimulation up toj (context) - Sangiorgi, Milner - 1992
4 Electronic Notes in Theoretical Computer Science (context) - Maraist, Odersky et al. - 1995
2 Typed -calculus at work: a proof of Jones's parallelisation .. (context) - Sangiorgi - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp-sop.inria.fr.html): More
RC Semantics using Rewriting Rules - Boussinot (1992) (Correct)
ASAP - a protocol for symbolic computation systems - Dalmas, Gaëtano, Sausse (1994) (Correct)
Tracking medical 3D data with a deformable parametric model - Bardinet, Cohen, Ayache (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