Pierce, B. C. and D. N. Turner, Pict: A programming language based on the picalculus, in: G. Plotkin, C. Stirling and M. Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner, MIT Press, 2000 pp. 455--494. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Relating State-Based and Process-Based Concurrency through.. - Cervesato, Scedrov (2006) (Correct)
No context found.
Pierce, B. C. and D. N. Turner, Pict: A programming language based on the picalculus, in: G. Plotkin, C. Stirling and M. Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner, MIT Press, 2000 pp. 455--494.
The Logical Meeting Point of Multiset Rewriting and Process.. - Cervesato (2004) (3 citations) (Correct)
No context found.
B. C. Pierce and D. N. Turner. Pict: A programming language based on the pi-calculus. In G. Plotkin, C. Stirling, and M. Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner, pages 455--494. MIT Press, 2000.
Type-Safe Distributed Programming for OCaml - John Billings Peter (Correct)
No context found.
B. C. Pierce and D. N. Turner. Pict: A programming language based on the pi-calculus. In Proof, Language and Interaction: Essays in Honour of Robin Milner, pages 455--494. MIT Press, 2000.
A Study of Objects - Hankin (1999) (Correct)
No context found.
Pierce, B. C. and D. N. Turner (1997). Pict: A programming language based on the pi-calculus. Technical Report CSCI 476, Computer Science Department, Indiana University. To appear in Proof, Language and Interaction: Essays in Honour of Robin Milner, G. Plotkin, C.
Type-Directed Concurrency - Deepak Garg And (Correct)
No context found.
B. C. Pierce and D. N. Turner. Pict: a programming language based on the picalculus. In Proof, language, and interaction: essays in honour of Robin Milner, pages 455--494. MIT Press, 2000.
Are There New Models of Computation: Reply to Wegner and.. - Cockshott, Michaelson (Correct)
No context found.
D. Turner, B. Pierce,"Pict: A programming language based on the picalculus." . In G. Plotkin, C. Stirling and M. Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner, pages 455--494. MIT Press, 2000.
Bigraphical Models of Context-aware Systems - Birkedal, Debois, Elsborg.. (2005) (Correct)
No context found.
Benjamin C. Pierce and David N. Turner. Pict: A programming language based on the picalculus. In Proof, Language and Interaction: Essays in Honour of Robin Milner, pages 455--494. MIT Press, 2000.
CLL: A Concurrent Language Built from Logical Principles - Garg (2005) (Correct)
No context found.
Benjamin C. Pierce and David N. Turner. Pict: a programming language based on the pi-calculus. In Proof, language, and interaction: essays in honour of Robin Milner, pages 455--494. MIT Press, 2000.
Mechanics of the Calculus and Variants - Avik Chaudhuri Programming (Correct)
No context found.
Benjamin C. Pierce and David N. Turner. Pict: A programming language based on the picalculus. In G. Plotkin, C. Stirling, and M. Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, 2000.
Modelling Dynamic Web Data - Gardner, Maffeis (Correct)
No context found.
Pierce, B. C. and D. N. Turner, Pict: A programming language based on the pi-calculus, in: Proof, Language and Interaction: Essays in Honour of Robin Milner (2000). URL citeseer.nj.nec.com/pierce97pict.html
Information Processing Letters 80 (2001) 25--31 - Application Of Stochastic (1995) (7 citations) (Correct)
No context found.
B.C. Pierce, D.N. Turner, PICT: A programming language based on the pi-calculus, in: Proof, Language and Interaction: Essays in honour of Robin Milner, MIT Press, Cambridge, MA, 1999.
A Coq Library for Verification of Concurrent Programs - Affeldt, Kobayashi (2004) (Correct)
No context found.
Benjamin C. Pierce and David N. Turner. Pict: A programming language based on the pi-calculus. In G. Plotkin, C. Stirling, and M. Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, 2000.
The Impact of Linearity Information on the Performance of.. - Martins, Lopes, Vasconcelos (Correct)
No context found.
Benjamin C. Pierce and David N. Turner. Pict: A programming language based on the pi-calculus. In Gordon Plotkin, Colin Stirling, and Mads Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner, Foundations of Computing. MIT Press, May 2000.
Minimality Results for the Spatial Logics - Hirschkoff, Lozes, Sangiorgi (2003) (1 citation) (Correct)
No context found.
B. C. Pierce and D. N. Turner. Pict: A programming language based on the picalculus. In G. Plotkin, C. Stirling, and M. Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, 2000.
Information Processing Letters 80 (2001) 25--31 - Application Of Stochastic (1995) (7 citations) (Correct)
No context found.
B.C. Pierce, D.N. Turner, PICT: A programming language based on the pi-calculus, in: Proof, Language and Interaction: Essays in honour of Robin Milner, MIT Press, Cambridge, MA, 1999.
Information Flow vs. Resource Access in the Asynchronous.. - Hennessy, Riely (2000) (8 citations) (Correct)
No context found.
Benjamin C. Pierce and David N. Turner. Pict: A programming language based on the pi-calculus. Technical Report CSCI 476, Computer Science Department, Indiana University, 1997. To appear in Proof, Language and Interaction: Essays in Honour of Robin Milner, Gordon Plotkin, Colin Stirling, and Mads Tofte, editors, MIT Press.
Modelling Dynamic Web Data - Gardner, Maffeis (Correct)
No context found.
Pierce, B. C. and D. N. Turner, Pict: A programming language based on the pi-calculus, in: Proof, Language and Interaction: Essays in Honour of Robin Milner (2000). URL citeseer.nj.nec.com/pierce97pict.html
MIKADO Global Computing Project IST-2001-32222 - Mobile Calculi Based (Correct)
No context found.
B. C. Pierce and D. N. Turner. Pict: A programming language based on the pi-calculus. In G. Plotkin, C. Stirling, and M. Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner, Foundations of Computing. MIT Press, May 2000.
Type Systems for Concurrent Programs - Kobayashi (2002) (Correct)
No context found.
B. C. Pierce and D. N. Turner. Pict: A programming language based on the picalculus. In G. Plotkin, C. Stirling, and M. Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner, pages 455--494. MIT Press, 2000.
An Implicitly-Typed Deadlock-Free Process Calculus - Naoki Kobayashi Shin (4 citations) (Correct)
No context found.
Benjamin C. Pierce and David N. Turner. Pict: A programming language based on the pi-calculus. Technical Report CSCI 476, Computer Science Department, Indiana University, 1997.
JoCaml: a Language for Concurrent Distributed and.. - Fournet, Le.. (2002) (Correct)
No context found.
B. C. Pierce and D. N. Turner. Pict: A programming language based on the picalculus. In G. D. Plotkin, C. Stirling, and M. Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, May 2000.
A Type System for Lock-Free Processes - Kobayashi (2002) (1 citation) (Correct)
No context found.
Benjamin C. Pierce and David N. Turner. Pict: A programming language based on the picalculus. In Gordon Plotkin, Colin Stirling, and Mads Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner, pages 455--494. MIT Press, 2000.
The Design and Implementation of GdH - Draft Pointon Trinder (Correct)
No context found.
B.C. Pierce and D.N. Turner. Pict: A Programming Language Based on the Pi-Calculus. Technical report, Indiana University, 1997.
Unknown - System (Correct)
No context found.
B.C. Pierce and D.N. Turner. Pict: A Programming Language Based on the Pi-Calculus. Technical report, Indiana University, 1997.
Modelling Dynamic Web Data - Gardner, Maffeis (2003) (Correct)
No context found.
Pierce, B. C. and D. N. Turner, Pict: A programming language based on the pi-calculus, in: Proof, Language and Interaction: Essays in Honour of Robin Milner (2000).
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