Benjamin Pierce, Davide Sangiorgi  Home/Search
Context Related
| indiana.edu/pub/pierce/pi.ps.gz indiana.edu/l/www/pub/pierce...pi.ps.gz indiana.edu/l/www/ftp/pierce...pi.ps.gz 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: indiana.edu/pub/pierce/ (more) From: indiana.edu/l/www/ftp/pierce/ (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)
Cited by: More
A Study of Objects - Hankin (1999) (Correct)
Assigning Types to Processes - Yoshida, Hennessy (2000) (Correct)
M³: Mobility Types for Mobile Processes in.. - Coppo.. (2002) (Correct)
Similar documents (at the sentence level):
16.2%: Typing and Subtyping for Mobile Processes - Pierce, Sangiorgi (1996) (Correct)
13.3%: Typing and Subtyping for Mobile Processes (Extended Abstract) - Pierce, Sangiorgi (1992) (Correct)
Active bibliography (related documents): More All
0.5: Typing and Subtyping - For Mobile Processes (Correct)
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)
Similar documents based on text: More All
0.2: Behavioral Equivalence in the Polymorphic Pi-Calculus - Pierce, Sangiorgi (1997) (Correct)
0.2: An interpretation of Typed Objects into Typed π-calculus - Sangiorgi (1996) (Correct)
0.2: On Bisimulations for the Asynchronous π-Calculus - Amadio, Castellani, Sangiorgi (1996) (Correct)
Related documents from co-citation: More All
57: Information and Computation (context) - Milner, Parrow et al. - 1992
36: Composing processes - Honda - 1996
31: Communication and Concurrency (context) - Milner - 1989
BibTeX entry: (Update)
B.C. Pierce and D. Sangiorgi. Typing and sub-typing for mobile processes. Mathematical Structures in Computer Science, 6(5):409--454, 1996. http://citeseer.ist.psu.edu/article/pierce96typing.html More
@inproceedings{ pierce93typing,
author = "Benjamin C. Pierce and Davide Sangiorgi",
title = "Typing and Subtyping for Mobile Processes",
booktitle = "Proceedings 8th {IEEE} Logics in Computer Science",
address = "Montreal, Canada",
pages = "376--385",
year = "1993",
url = "citeseer.ist.psu.edu/article/pierce96typing.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
854 Information and Computation (context) - Milner, Parrow et al. - 1992
809 A theory of type polymorphism in programming (context) - Milner - 1978
388 On understanding types (context) - Cardelli, Wegner - 1985
325 Towards a theory of type structure (context) - Reynolds - 1974
283 Theoretical Computer Science (context) - Plotkin, name et al. - 1975
248 Expressing Mobility (context) - Sangiorgi - 1992
197 Barbed bisimulation - Milner, Sangiorgi - 1992
179 The lazy lambda calculus - Abramsky - 1989
114 Fundamental properties of infinite trees (context) - Courcelle - 1983
70 Preliminary design of the programming language Forsythe (context) - Reynolds - 1988
63 Three approaches to type structure (context) - Reynolds - 1985
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
42 Algebraic theories for name-passing calculi - Parrow, Sangiorgi - 1993
40 Interpr'etation fonctionelle et 'elimination des coupures de.. (context) - Girard - 1972
27 Principal typing schemes in a polyadic pi-calculus (context) - Vasconcelos, Honda - 1993
24 A sort inference algorithm for the polyadic ß-calculus (context) - Gay - 1993
18 Communicating evolving algebras - Glavan, Rosenzweig - 1993
7 To appear in Information and Computation (context) - Walker, the - 1992
5 University of Edinburgh (context) - Turner, thesis - 1994
1 Technical Report ECS--LFCS (context) - Sangiorgi, of et al. - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.indiana.edu/pub/pierce/): More
A Unifying Type-Theoretic Framework for Objects - Hofmann, Pierce (1993) (Correct)
Higher-Order Subtyping - Steffen, Pierce (1994) (Correct)
Simple Type-Theoretic Foundations for Object-Oriented Programming - Pierce, Turner (1993) (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