D. N. Turner. The polymorphic pi-calculus: theory and implementation. PhD thesis, University of Edinburgh, 1995. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Mobility Types for Mobile Ambients - Cardelli, Ghelli, Gordon (1999) (79 citations) (Correct)
No context found.
D. N. Turner. The polymorphic pi-calculus: theory and implementation. PhD thesis, University of Edinburgh, 1995.
Ensuring Termination by Typability - Deng, Sangiorgi (Correct)
No context found.
D. N. Turner. The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, University of Edinburgh, 1996.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2004) (7 citations) (Correct)
No context found.
D. N. Turner. The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, University of Edinburgh, 1995. Report no ECS-LFCS-96-345.
Mechanics of the Calculus and Variants - Avik Chaudhuri Programming (Correct)
No context found.
David N. Turner. The Polymorphic Pi-calculus: Theory and Implementation. PhD thesis, University of Edinburgh, 1995.
Towards a Primitive Higher Order Calculus - Of Broadcasting Systems (Correct)
No context found.
David N. Turner. The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis CST--126--96, Dept. of Computer Science, University of Edinburgh, 1996.
Towards a Primitive Higher Order Calculus - Of Broadcasting Systems (Correct)
No context found.
David N. Turner. The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis CST--126--96, Dept. of Computer Science, University of Edinburgh, 1996.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2003) (7 citations) (Correct)
No context found.
D. N. Turner. The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, University of Edinburgh, 1995. Report no ECS-LFCS-96-345.
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2005) (2 citations) (Correct)
No context found.
D. N. Turner. The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, University of Edinburgh, 1995. Report no ECS-LFCS-96-345.
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2004) (2 citations) (Correct)
No context found.
D. N. Turner. The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, University of Edinburgh, 1995. Report no ECS-LFCS-96-345.
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2004) (2 citations) (Correct)
No context found.
D. N. Turner. The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, University of Edinburgh, 1995. Report no ECS-LFCS-96-345.
Encoding Distributed Areas and Local Communication into the.. - Chothia, Stark (2001) (1 citation) (Correct)
No context found.
David Turner. The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, Laboratory for Foundations of Computer Science, Edinburgh University, 1996. Also published as LFCS Technical Report 345.
Sequence Types for the π-calculus - Maffeis (2004) (Correct)
No context found.
Turner, D. N., "The Polymorphic Pi-calculus: Theory and Implementation," Ph.D. thesis, University of Edinburgh (1995).
Encoding Distributed Areas and Local Communication into the.. - Chothia, Stark (2002) (1 citation) (Correct)
No context found.
David Turner. The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, Laboratory for Foundations of Computer Science, Edinburgh University, 1996. Also published as LFCS Technical Report 345.
Type Systems for Concurrent Programs - Kobayashi (2002) (Correct)
No context found.
D. T. Turner. The polymorphic pi-calculus: Theory and implementation. PhD Thesis, University of Edinburgh, 1996.
A Type System for Lock-Free Processes - Kobayashi (2002) (1 citation) (Correct)
No context found.
David T. Turner. The polymorphic pi-calculus: Theory and implementation. PhD Thesis, University of Edinburgh, 1996.
What are Polymorphically-Typed Ambients? - Amtoft, Kfoury, Pericas-Geertsen (2001) (Correct)
No context found.
D. N. Turner. The Polymorphic Pi-Calculus: Theory and Implementation. Ph.D. thesis, University of Edinburgh, 1995. Report no ECS-LFCS-96-345.
Genericity and the π-Calculus - Berger, Honda, Yoshida (Correct)
No context found.
Turner, D. N. The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, University of Edinburgh, 1996.
Process Logic and Duality - Part I: Sequential Processes - Honda (Correct)
No context found.
Turner, David N. The Polymorphic Pi-Calculus: Theory and Implementation. Ph.D. thesis, University of Edinburgh, 1996.
Logical Relations for Encryption - Eijiro Sumii University (2001) (16 citations) (Correct)
No context found.
David N. Turner. The Polymorphic Pi-calculus: Theory and Implementation. PhD thesis, University of Edinburgh, 1995.
Automatic Determination of Communication Topologies in Mobile.. - Venet (1998) (8 citations) (Correct)
No context found.
D. N. Turner. The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, Edinburgh University, 1995.
Towards Abstractions for Distributed Systems - Berger (2004) (4 citations) (Correct)
No context found.
David N. Turner. The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, University of Edinburgh, 1996.
What are Polymorphically-Typed Ambients? - Amtoft, Kfoury, Pericas-Geertsen (2000) (Correct)
No context found.
D. N. Turner. The Polymorphic Pi-Calculus: Theory and Implementation. Ph.D. thesis, University of Edinburgh, 1995. Report no ECS-LFCS-96-345. 3, 4, 26
Towards Abstractions for Distributed Systems - Berger (2000) (4 citations) (Correct)
No context found.
David N. Turner. The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, University of Edinburgh, 1996.
Categorical Structure of Continuation Passing Style - Thielecke (1997) (18 citations) (Correct)
No context found.
David Turner. The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, University of Edinburgh, 1995. 171
The Security Picalculus and Non-interference - Hennessy (2000) (4 citations) (Correct)
No context found.
David Turner. The Polymorphic Pi-Calculus: Theory and Implementation. Ph.d. thesis, Edinburgh University, 1995.
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