Benjamin C. Pierce, Davide Sangiorgi  Home/Search
Context Related
| upenn.edu/~bcpierce/pape...polybisim.ps 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: upenn.edu/~bcpierce/paper...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 lambdacalculus 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):
35.2%: Behavioral Equivalence in the Polymorphic Pi-Calculus - Benjamin C. Pierce, Davide .. (1996) (Correct)
Active bibliography (related documents): More All
0.5: A Broadcast-based Calculus for Communicating Systems - Ene, MUNTEAN (2000) (Correct)
0.2: Description and Verification of Mobile Processes with Graph.. - König (Correct)
0.2: Pict: A Programming Language Based on the Pi-Calculus - Pierce, Turner (1997) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.2: Towards an Algebraic Theory of Typed Mobile Processes - Deng, Sangiorgi (Correct)
0.2: Ensuring Termination by Typability - Deng, Sangiorgi (Correct)
0.2: On Bisimulations for the Asynchronous π-Calculus - Amadio, Castellani, Sangiorgi (1996) (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/pierce99behavioral.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/pierce99behavioral.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
248 Expressing Mobility (context) - Sangiorgi - 1992
197 Barbed bisimulation - Milner, Sangiorgi - 1992 ACM DBLP
185 The Calculi of Lambda Conversion (context) - Church - 1941
168 Testing equivalences for processes (context) - De Nicola, Hennessy - 1984 DBLP
140 On reduction-based process semantics - Honda, Yoshida - 1995 ACM DBLP
108 Linearity and the picalculus - Kobayashi, Pierce et al. - 1996
97 and parametric polymorphism (context) - Reynolds, abstraction - 1983
68 Unification under a mixed prefix (context) - Miller - 1992 ACM DBLP
67 Composing processes - Honda - 1996 ACM DBLP
66 Graph types for monadic mobile processes - Yoshida - 1996
54 Testing equivalence for mobile processes (context) - Boreale, De Nicola - 1992 ACM DBLP
48 Types for dyadic interaction - Honda - 1993
46 revised edition (context) - Barendregt, Calculus - 1984
44 internal mobility and agent-passing calculi (context) - Sangiorgi - 1996 ACM DBLP
44 Proof techniques for cryptographic processes - Boreale, De Nicola et al. - 1999 ACM DBLP
42 Operational reasoning for functions with local state - Pitts, Stark - 1996 ACM
39 Algebraic Theory of Processes (context) - Hennessey - 1988 ACM
28 Reasoning about local variables with operationally-based log.. - Pitts - 1996 ACM DBLP
27 Principal typing schemes in a polyadic picalculus (context) - Vasconcelos, Honda - 1993
25 An interpretation of typed objects into typed -calculus (context) - Sangiorgi - 1998
24 progressing bisimulation for CCS (context) - Montanari, Sassone et al. - 1992
22 A sort inference algorithm for the polyadic -calculus (context) - Gay - 1993
22 Bisimulation in name-passing calculi without matching (context) - Boreale, Sangiorgi - 1998 ACM DBLP
22 Existential types: Logical relations and operational equival.. - Pitts - 1998 DBLP
22 Concurrency on automata and infinite sequences (context) - Park - 1981
21 The Mobility Workbench --- a tool for the -calculus (context) - Victor, Moller - 1994
16 International Summer School in Computer Programming (context) - Strachey, in et al. - 1967
12 the proof method for bisimulation (context) - Sangiorgi - 1995
10 A context dependent equivalence between processes (context) - Larsen - 1987 ACM DBLP
7 A polymorphic type system for the polyadic -calculus (context) - Liu, Walker - 1995
7 The Polymorphic Pi-calulus: Theory and Implementation (context) - Turner - 1995
5 Interpreting functions as pi-calculus processes: a tutorial - Sangiorgi - 1998
4 Bisimulation and divergence in CCS (context) - Walker - 1988
2 A pi-calculus semantics of Concurrent Idealised ALGOL (context) - Rckl, Sangiorgi - 1999
1 volume 10 of Electronic Notes in Theoretical Computer Scienc.. (context) - Pitts, operational - 1998
1 A full formalisation of -calculus theory in the calculus of .. - Hirschkoff - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cis.upenn.edu/~bcpierce/papers/index.html): More
A Record Calculus Based on Symmetric Concatenation - Harper, Pierce (1991) (Correct)
Typing and Subtyping for Mobile Processes - Pierce, Sangiorgi (1996) (Correct)
Object-Oriented Programming Without Recursive Types - Pierce, Turner (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