Vasconcelos, V. T. and K. Honda, Principal typing schemes in a polyadic picalculus, in: Proceedings of the 4th International Conference on Concurrency  Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Typing and Subtyping - For Mobile Processes (Correct)
Pict: A Programming Language Based on the Pi-Calculus - Pierce, Turner (1997) (180 citations) (Correct)
What are Polymorphically-Typed Ambients? - Amtoft, Kfoury, Pericas-Geertsen (2001) (Correct)
What are Polymorphically-Typed Ambients? - Amtoft, Kfoury, Pericas-Geertsen (2000) (Correct)
What are Polymorphically-Typed Ambients? - Amtoft, Kfoury, Pericas-Geertsen (2000) (Correct)
What are Polymorphically-Typed Ambients? - Amtoft, Kfoury, Pericas-Geertsen (2000) (Correct)
What are Polymorphically-Typed Ambients? - Amtoft, Kfoury, Pericas-Geertsen (2000) (Correct)
Non-Regular Process Types - Puntigam (1999) (3 citations) (Correct)
A Typed Higher-Order Programming Language Based on the.. - Pierce, Rémy.. (1993) (15 citations) (Correct)
The Polymorphic Pi-calculus: Theory and Implementation - Turner (1995) (114 citations) (Correct)
Behavioral Equivalence in the Polymorphic Pi-Calculus - Pierce, Sangiorgi (1997) (49 citations) (Correct)
Behavioral Equivalence in the Polymorphic Pi-Calculus - Pierce, Sangiorgi (1999) (49 citations) (Correct)
Changeable Interfaces And Promised Messages For Concurrent.. - Puntigam, Peter (1999) (7 citations) (Correct)
Coordination Requirements Expressed in Types for Active Objects - Franz Puntigam (1997) (19 citations) (Correct)
Linearity and the Pi-Calculus - Kobayashi, Pierce, Turner (1998) (85 citations) (Correct)
Types for Active Objects Based on Trace Semantics - Puntigam (1996) (12 citations) (Correct)
Coordination Requirements Expressed in Types for Active Objects - Puntigam (1997) (19 citations) (Correct)
Linearity and the Pi-Calculus - Kobayashi, Pierce, Turner (1996) (85 citations) (Correct)
Typing and Subtyping for Mobile Processes - Pierce, Sangiorgi (1996) (127 citations) (Correct)
Behavioral Equivalence in the Polymorphic Pi-Calculus - Benjamin C. Pierce, Davide .. (1996) (49 citations) (Correct)
Sequence Types for the π-calculus - Maffeis (2004) (Correct)
What are Polymorphically-Typed Ambients? - Amtoft, Kfoury, Pericas-Geertsen (2001) (Correct)
Linearity and the Pi-Calculus - Naoki Kobayashi University (1996) (85 citations) (Correct)
What are Polymorphically-Typed Ambients? - Amtoft, Kfoury, Pericas-Geertsen (2000) (Correct)
An Interaction-based Language and its Typing System - Takeuchi (1994) (41 citations) Self-citation (Honda) (Correct)
First 50 documents
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