Benjamin Pierce and Davide Sangiorgi. Behavioral equivalence in the polymorphic picalculus. In Principles of Programming Languages (POPL), 1997. Full version available as INRIA-Sophia Antipolis Rapport de Recherche No. 3042 and as Indiana University Computer Science Technical Report 468. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Typed Behavioural Equivalences for Processes in the Presence .. - Hennessy, Rathke (2002) (10 citations) (Correct)
....to include a diverse range of properties. For example in [14,3] type systems have been designed to detect potential deadlocks while [19] introduced a system of types for the calculus which are used to control the interpretation of the calculus. This system of types was extended further in [18] and now forms the basis for the powerful type system implemented in the programming language Pict, 20] related type systems for higher order concurrent languages may be found in [12,13] In papers such as [22,21] types have been used to manage access control to resources, while in [23] notions ....
....equivalences, 15,9] for which there are a range of powerful techniques based on labelled transition systems. These describe processes in terms of the actions they can perform and their consequences, with judgements of the form In this paper we show that, by building on the ideas in [2,18], similar techniques can be developed for typed equivalences for our version of the calculus in which names can be tested for identity, and more importantly the types of names can change dynamically. The central idea is to replace the untyped actions above with new typed actions of the ....
[Article contains additional citation context not shown here]
B. Pierce and D. Sangiorgi. Behavioral equivalence in the polymorphic picalculus. Journal of the ACM, 47(3):531-584, 2000.
Principals in Programming Languages: Technical Results - Zdancewic, Grossman (1999) (Correct)
.... taken a syntactic approach to parametricity by formalizing the logical relations arguments used in such proofs [1] More recently, Crary has proposed the use of singleton types as a means of proving parametricity results without resorting to the construction of models [4] Pierce and Sangiorgi [15] have studied parametricity in a polymorphic variant of the calculus; they too are concerned with multiple views of the same value and point out some interesting interactions between abstraction and aliasing. None of the above work (except Leroy and Rouaix s) explicitly involves the notion of ....
Benjamin C. Pierce and Davide Sangiorgi. Behavioral equivalence in the polymorphic pi-calculus. Technical Report MS-CIS-99-10, University of Pennsylvania, April 1999. (Summary in POPL '97).
Genericity and the π-Calculus - Berger, Honda, Yoshida (2002) (Correct)
....typing discipline and shows that it can type check interesting polymorphic processes while allowing tractable type inference. Our use of a duality principle (whose origin can be traced back to Linear Logic [11] is the main di erence from these previous approaches. Pierce and Sangiorgi [30] study a behavioural equivalence for Turner s calculus and observe that existential types reduce the number of transitions by prohibiting interactions at hidden channels. Relatedly, Lazic, Nowak and Roscoe [21] show that when programs manipulate data abstractly (which concretely means a data type ....
....certain parametricity property can be used for reasoning, leading to ecient model checking techniques. The generic labelled transition uni es these two ideas as dual aspects of a single framework, as well as strengthening them in some aspects (further reduction in the number of transitions w.r.t. [30]; and a suggestion to include operations other than equality in data independence w.r.t. 21] The examination of the class of generic behaviours to which the presented transition system is applicable (especially in the light of discussions on information leakage in [30] and extention of the ....
[Article contains additional citation context not shown here]
Pierce, B., and Sangiorgi, D. Behavioral equivalence in the polymorphic picalculus. Journal of ACM 47, 3 (2000), 531-584.
Genericity and the π-Calculus - Berger, Honda, Yoshida (2002) (Correct)
....phic typing discipline and shows that it can type check interesting polymorphic processes while allowing tractable type inference. Our use of a duality principle (whose origin can be traced back to Linear Logic [11] is the main difference from these previous approaches. Pierce and Sangiorgi [30] study a behavioural equivalence for Turner s calcu lus and observe that existential types reduce the number of transitions by prohibiting interactions at hidden channels. Relatedly, Lazic, Nowak and Roscoe [21] show that when programs manipulate data abstractly (which concretely means a data ....
....certain parametricity property can be used for reasoning, leading to ecient model checking techniques. The generic labelled transition unifies these two ideas as dual aspects of a single framework, as well as strengthening them in some aspects (further reduction in the number of transitions w.r.t. [30]; and a suggestion to include operations other than equality in data independence w.r.t. 21] The examination of the class of generic behaviours to which the presented transition system is applicable (especially in the light of discussions on information leakage in [30] and extention of the ....
[Article contains additional citation context not shown here]
PIERCE, $., AND SANGIORGI, D. Behavioral equivalence in the polymorphic picalculus. Journal of ACM J7, 3 (2000), 531-584.
Relating Cryptography and Polymorphism - Benjamin Pierce Eijiro (2000) Self-citation (Pierce) (Correct)
No context found.
Benjamin C. Pierce and Davide Sangiorgi. Behavioral equivalence in the polymorphic picalculus. Journal of the ACM, 47(3):531--586, 2000.
Behavior Model of Mobile Agent Systems - Pierre Vigneras Labri (Correct)
No context found.
Benjamin Pierce and Davide Sangiorgi. Behavioral equivalence in the polymorphic picalculus. In Principles of Programming Languages (POPL), 1997. Full version available as INRIA-Sophia Antipolis Rapport de Recherche No. 3042 and as Indiana University Computer Science Technical Report 468.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2004) (7 citations) (Correct)
No context found.
B. C. Pierce, D. Sangiorgi. Behavioral equivalence in the polymorphic pi-calculus. Journal of the ACM, 47(3), 2000.
Assigning Types to Processes - Yoshida, Hennessy (2000) (32 citations) (Correct)
No context found.
Pierce, B.C. and Sangiorgi. D, Behavioral Equivalence in the Polymorphic Pi-calculus. POPL'97, ACM Press, 1997. Full version to appear in Journal of the Association for Computing Machinery (JACM).
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2003) (7 citations) (Correct)
No context found.
B. C. Pierce, D. Sangiorgi. Behavioral equivalence in the polymorphic pi-calculus. Journal of the ACM, 47(3), 2000.
safeDpi: a language for controlling mobile code - Hennessy, Rathke, Yoshida (2003) (16 citations) (Correct)
No context found.
B. Pierce and D. Sangiorgi. Behavioral equivalence in the polymorphic pi-calculus. Journal of the ACM, 47(3):531--584, 2000.
safeDpi: a language for controlling mobile code - Hennessy, Rathke, Yoshida (2003) (16 citations) (Correct)
No context found.
B. Pierce and D. Sangiorgi. Behavioral equivalence in the polymorphic pi-calculus. Journal of the ACM, 47(3):531{ 584, 2000.
Encoding Distributed Areas and Local Communication into the.. - Chothia, Stark (2001) (1 citation) (Correct)
No context found.
Benjamin Pierce and Davide Sangiorgi. Behavioral equivalence in the polymorphic pi-calculus. Journal of the ACM, 47(5):531--584, September 2000.
Sequence Types for the π-calculus - Maffeis (2004) (Correct)
No context found.
Pierce, B. C. and D. Sangiorgi, Behavioral equivalence in the polymorphic picalculus, J. ACM 47 (2000), pp. 531--584.
Encoding Distributed Areas and Local Communication into the.. - Chothia, Stark (2002) (1 citation) (Correct)
No context found.
Benjamin Pierce and Davide Sangiorgi. Behavioral equivalence in the polymorphic pi-calculus. Journal of the ACM, 47(5):531--584, September 2000.
Type Systems for Concurrent Programs - Kobayashi (2002) (Correct)
No context found.
B. Pierce and D. Sangiorgi. Behavioral equivalence in the polymorphic pi-calculus. JACM, 47(5):531--584, 2000.
Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
No context found.
Benjamin Pierce and Davide Sangiorgi. Behavioral equivalence in the polymorphic pi-calculus. Journal of the ACM, 47(3):531--584, 2000.
A Type System for Lock-Free Processes - Kobayashi (2002) (1 citation) (Correct)
No context found.
Benjamin Pierce and Davide Sangiorgi. Behavioral equivalence in the polymorphic pi-calculus. Journal of the Association for Computing Machinery (JACM), 47(5):531--584, 2000.
What are Polymorphically-Typed Ambients? - Amtoft, Kfoury, Pericas-Geertsen (2001) (Correct)
No context found.
B. C. Pierce and D. Sangiorgi. Behavioral equivalence in the polymorphic pi-calculus. Journal of the ACM, 47(3):531-- 584, May 2000.
Genericity and the π-Calculus - Berger, Honda, Yoshida (Correct)
No context found.
Pierce, B., and Sangiorgi, D. Behavioral equivalence in the polymorphic picalculus. Journal of ACM 47, 3 (2000), 531-584. 49
A Generic Type System for the Pi-Calculus - Igarashi, Kobayashi (2001) (30 citations) (Correct)
No context found.
B. Pierce and D. Sangiorgi. Behavioral equivalence in the polymorphic pi-calculus. Journal of the Association for Computing Machinery (JACM), 47(5):531--584, 2000.
A Generic Type System for the Pi-Calculus - Igarashi, Kobayashi (2003) (30 citations) (Correct)
No context found.
B. Pierce and D. Sangiorgi. Behavioral equivalence in the polymorphic pi-calculus. Journal of the Association for Computing Machinery (JACM), 47(5):531--584, 2000.
What are Polymorphically-Typed Ambients? - Amtoft, Kfoury, Pericas-Geertsen (2000) (Correct)
No context found.
B. C. Pierce and D. Sangiorgi. Behavioral equivalence in the polymorphic pi-calculus. Journal of the ACM, 47(3):531--584, May 2000. 3
The Security Picalculus and Non-interference - Hennessy (2000) (4 citations) (Correct)
No context found.
B. Pierce and D. Sangiorgi. Behavioral equivalence in the polymorphic pi-calculus. In Proc. 24th POPL. ACM Press, 1997. Full paper to appear in Journal of the ACM.
Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (Correct)
No context found.
Benjamin C. Pierce and Davide Sangiorgi. Behavioral equivalence in the polymorphic pi-calculus. In Proceedings of POPL '97 [ACM97], pages 241-255. Full version available as University of Pennsylvania Technical Report MS-CIS99 -10. Previous version as INRIA-Sophia Antipolis Rapport de Recherche No. 3042 and as Indiana University Computer Science Technical Report 468.
Type Reconstruction for Linear Pi-Calculus with I/O Subtyping - Igarashi, Kobayashi (2001) (8 citations) (Correct)
No context found.
Benjamin C. Pierce and Davide Sangiorgi. Behavioral equivalence in the polymorphic pi-calculus. In ACM SIGACT / SIGPLAN Symposium on Principles of Programming Languages, pages 242--255, Paris, France, January 1997.
First 50 documents Next 50
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