Benjamin C. Pierce, Davide Sangiorgi  Home/Search
Context Related
Links: ACM DBLP | inria.fr/INRIA/publicat...RR3042.ps.gz sop.inria.fr/meije/theorie...poly.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/ucstri/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We investigate parametric polymorphism in message-based concurrent programming, focusing on behavioral equivalences in a typed process calculus analogous to the polymorphic lambda-calculus of Girard and Reynolds. Polymorphism constrains the power of observers by preventing them from directly manipulating data values whose types are abstract, leading to notions of equivalence much coarser than the standard untyped ones. We study the nature of these constraints through simple examples of... (Update)
Cited by: More
Behavior Model of Mobile Agent Systems - Pierre Vigneras Labri (Correct)
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2004) (Correct)
Assigning Types to Processes - Yoshida, Hennessy (2000) (Correct)
Similar documents (at the sentence level):
47.1%: Behavioral Equivalence in the Polymorphic Pi-Calculus - Pierce, Sangiorgi (1999) (Correct)
Active bibliography (related documents): More All
0.3: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.3: Pict: A Programming Language Based on the Pi-Calculus - Pierce, Turner (1997) (Correct)
0.3: Linearity and the Pi-Calculus - Naoki Kobayashi University (1996) (Correct)
Similar documents based on text: More All
0.3: An interpretation of Typed Objects into Typed π-calculus - Sangiorgi (1996) (Correct)
0.2: On Bisimulations for the Asynchronous π-Calculus - Amadio, Castellani, Sangiorgi (1996) (Correct)
0.2: Towards an Algebraic Theory of Typed Mobile Processes - Deng, Sangiorgi (Correct)
Related documents from co-citation: More All
22: Linearity and the pi-calculus - Kobayashi, Pierce et al. - 1996
22: Pict: A programming language based on the pi-calculus - Pierce, Turner - 1997
21: The Polymorphic Pi-calculus: Theory and Implementation - Turner - 1996
BibTeX entry: (Update)
Pierce, B.C. and Sangiorgi.D, Behavioral Equivalence in the Polymorphic PiCalculus. POPL '97, ACM, 1997. http://citeseer.ist.psu.edu/article/pierce97behavioral.html More
@inproceedings{ pierce97behavioral,
author = "Benjamin C. Pierce and Davide Sangiorgi",
title = "Behavioral Equivalence in the Polymorphic $\pi$-calculus",
booktitle = "Symposium on Principles of Programming Languages",
pages = "242--255",
year = "1997",
url = "citeseer.ist.psu.edu/article/pierce97behavioral.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
325 Towards a theory of type structure (context) - Reynolds - 1974 ACM DBLP
311 Abstract types have existential type (context) - Mitchell, Plotkin - 1988 ACM DBLP
248 Expressing Mobility (context) - Sangiorgi - 1992
200 Pict: A programming language based on the pi-calculus - Pierce, Turner - 1996
197 Barbed bisimulation - Milner, Sangiorgi - 1992 ACM DBLP
108 Linearity and the pi-calculus - Kobayashi, Pierce et al. - 1996 ACM DBLP
97 and parametric polymorphism (context) - Reynolds, abstraction - 1983
86 A partially deadlock-free typed process calculus - Kobayashi - 1996 ACM DBLP
67 Composing processes - Honda - 1996 ACM DBLP
42 Operational reasoning for functions with local state - Pitts, Stark - 1996 ACM
28 Reasoning about local variables with operationally-based log.. - Pitts - 1996 ACM DBLP
27 Principal typing schemes in a polyadic pi-calculus (context) - Vasconcelos, Honda - 1993 ACM DBLP
22 A sort inference algorithm for the polyadic -calculus (context) - Gay - 1993
16 International Summer School in Computer Programming (context) - Strachey, in et al. - 1967
10 A context dependent equivalence between processes (context) - Larsen - 1987 ACM DBLP
9 Types for dydadic interaction (context) - Honda - 1993
7 A polymorphic type system for the polyadic -calculus (context) - Liu, Walker - 1995
7 The Polymorphic Pi-calulus: Theory and Implementation (context) - Turner - 1996
3 limination des coupures de l'arithm#tique d'ordre sup#rieur (context) - Girard, tation - 1972
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.indiana.edu/pub/ucstri/index): More
Environment Modelling for Mobile Robots: Neural Learning for.. - van Dam (1998) (Correct)
Broadcasting in Butterfly and DeBruijn Networks - Klasing, Monien, Peine, Stöhr (1992) (Correct)
ILFA - A Project in Experimental Logic Computation - Dunker, Flögel, Büning.. (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