Benjamin Pierce, Davide Sangiorgi  Home/Search
Context
Related
| sop.inria.fr/meije/theoriepa...pi.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: The -calculus is a process algebra that supports process mobility by focusing on the communication of channels. Milner's presentation of the -calculus includes a type system assigning arities to channels and enforcing a corresponding discipline in their use. We extend Milner's language of types by distinguishing between the ability to read from a channel, the ability to write to a channel, and the ability both to read and to write. This refinement gives rise to a natural subtype relation... (Update)
Similar documents (at the sentence level):
34.0%: Typing and Subtyping for Mobile Processes - Pierce, Sangiorgi (1996) (Correct)
33.6%: Typing and Subtyping - For Mobile Processes (Correct)
Active bibliography (related documents): More All
0.2: A Typed Higher-Order Programming Language Based on the.. - Pierce, Rémy.. (1993) (Correct)
0.2: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.1: Formalising and prototyping a concurrent object-oriented.. - Fredlund, al. (Correct)
Similar documents based on text: More All
0.1: Behavioral Equivalence in the Polymorphic Pi-Calculus - Pierce, Sangiorgi (1997) (Correct)
0.1: Computational Isomorphisms in Classical Logic - Danos, Joinet, Schellinx (1997) (Correct)
0.1: An interpretation of Typed Objects into Typed π-calculus - Sangiorgi (1996) (Correct)
BibTeX entry: (Update)
@misc{ pierce-typing,
author = "Benjamin Pierce and Davide Sangiorgi",
title = "Typing and Subtyping for Mobile Processes (Extended Abstract)",
url = "citeseer.ist.psu.edu/pierce92typing.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989 ACM
854 Information and Computation (context) - Milner, Parrow et al. - 1992 DBLP
809 A theory of type polymorphism in programming (context) - Milner - 1978 DBLP
325 Towards a theory of type structure (context) - Reynolds - 1974 ACM DBLP
283 Theoretical Computer Science (context) - Plotkin, name et al. - 1975 ACM
248 Expressing Mobility (context) - Sangiorgi - 1992
197 Barbed bisimulation - Milner, Sangiorgi - 1992 ACM DBLP
179 The lazy lambda calculus - Abramsky - 1989 ACM
128 On understanding types (context) - Cardelli, Wegner - 1985
114 Fundamental properties of infinite trees (context) - Courcelle - 1983 DBLP
76 The polyadic -calculus: a tutorial - Milner - 1991
70 Preliminary design of the programming language Forsythe (context) - Reynolds - 1988
63 Three approaches to type structure (context) - Reynolds - 1985 ACM DBLP
50 A calculus of communicating systems with label-passing - Engberg, Nielsen - 1986
46 Lambda-calculus notation with nameless dummies: a tool for a.. (context) - de Bruijn - 1972
40 Towards an object calculus - Nierstrasz - 1991
40 Interpr'etation fonctionelle et 'elimination des coupures de.. (context) - Girard - 1972
22 A sort inference algorithm for the polyadic -calculus (context) - Gay - 1993
13 The typed -calculus with first-class processes (context) - Nielson - 1989
7 To appear in Information and Computation (context) - Walker, the - 1992
5 University of Edinburgh (context) - Turner, thesis - 1992
1 Axiomatizations for -calculus (context) - Parrow, Sangiorgi - 1992
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