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
Processes, Functions, and Datatypes - Vasconcelos (1998) (Correct)
....Meth, Abs, and the induction hypothesis. Then, by rule Obj and the typing lemma 1 we know that B; Gamma Delta v : ff v M . The result follows from the antecedent B; Gamma E : ff of rule Obj and lemma 6. The AppExp case is similar. 10. Related work The project closest to T yCO is Pict [19], a programming language based on the calculus [13] Complex values in Pict include abstraction and application (cf. section 7) as well as a value constructor allowing to declare new names. No form of datatype declaration (cf. section 4) or value construction or de construction (cf. section 5) ....
Benjamin C. Pierce and David N. Turner. Pict: A programming language based on the pi-calculus. CSCI Technical Report 476, Indiana University, March 1997.
The UDP Calculus: Rigorous Semantics For Real Networking - Serjantov, Sewell, Wansbrough (5 citations) (Correct)
.... have dealt with failure, including [AP94,FGL 96,RH97,BH00] Building on process calculi, a number of concurrent or distributed programming languages have been designed, with associated semantic work, including among others Occam, Facile, CML, Pict, JoCaml, and Nomadic Pict [INM87,TLK96,Rep91,PT00,FGL 96,WS00] Little of this work, however, deals with the core network protocols, and as far as we are aware none addresses the level of abstraction of the sockets interface. Further, most does not support reasoning about executable code (or adopts a much higher level of abstraction) The ....
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. MIT Press, 2000.
JoCaml: a Language for Concurrent Distributed and.. - Fournet, Le.. (Correct)
....in # spawn cf (f t) cg (g t) # # let xycoord = evalPar (cos,sin) val evalPar : a b) a c) a b c val xycoord : float float float Bi directional Channels. Bi directional channels appear in most process calculi, and in programming languages such as PICT [24] and CML [25] In the asynchronous pi calculus, for instance, and for a given channel c, a value v can be sent asynchronously on c (written c [v] or received from c and bound to some variable x in some guarded process P (written c x.P) Any process can send and receive on the channels they know. ....
B. C. Pierce and D. N. Turner. Pict: A programming language based on the pi-calculus. In G. D. Plotkin, C. Stirling, and M. Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, May 2000.
Fine Grained Multithreading with Process Calculi - Lopes, Silva, Vasconcelos (2001) (Correct)
....run run new 7 rH2 Z 1 3 I ) iA ,5 . may not be mimicked by the environment machine. Also, the machine preserves the invariant that, at any time during a computation the queues are either empty or have only messages or have only method closures [25]. 5. Implementation We propose an implementation that closely follows the specification of the abstract machine in the previous section. 1. Each thread is compiled into a block of contiguous instructions. The machine starts with the initial thread and an empty store. 2. The store is implemented ....
....model such systems but also to provide compilation schemes that naturally break down high level programs into ISA level threaded code particularly suitable for these hardware architectures. The programming languages more akin to TTyCO also derive from the realm of the process calculi. Pict [25] is a pure concurrent programming language based on the asynchronous calculus. The run time system is based on Turner s abstract machine specification [28] The basic programming abstractions are processes and names (tags) Processes communicate by sending values along shared names. Objects in ....
[Article contains additional citation context not shown here]
B. Pierce and D. Turner. Pict: A Programming Language Based on the Pi-Calculus. Technical Report CSCI 476, Computer Science Department, Indiana University, 1997.
Typed Behavioural Equivalences for Processes in the Presence .. - Hennessy, Rathke (2002) (10 citations) (Correct)
....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 of trust have been incorporated in order to protect good host sites from bad computing agents. ....
....identities. Let us informally write P Q (y) to denote that P and Q exhibit the same behaviour when run in an environment constrained by some type environment. The type environment dictates the type at which identi ers may be used; if an identi er is not in the domain according to [20], page 9 2 of then intuitively it can not be used by the process environment. Then, using the syntax of the calculus, we would expect the identity a hvi R 0 if the identi er a is not in the domain of the constraining environment . It should also be true if it were in the domain but ....
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.
The Fusion Machine (Extended Abstract) - Gardner, Laneve, Wischik (Correct)
....rendezvous. The task of breaking down and sending is known as heating [2] and amounts to a directed implementation of structural congruence. In some ways, our model can be regarded as a distributed version of the single processor model first described by Cardelli [3] and subsequently used in Pict [14, 17]. The fusion machine is distributed over channels, as outlined above. It also uses explicit fusions [7] a form of concurrent constraints on channel names which it implements with trees of forwarders between channels. These explicit fusions enable atomic processes to be fragmented, so avoiding ....
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.
Lambda and pi calculi, CAM and SECD machines - Vasconcelos (2001) (Correct)
....in figure 9; c [ N ] for [ map defined in figure 10. Completeness, on the other hand is not be expected to hold. See discussion in book [12] after theorem 17.3.3. 5 Further work The impact of the # encodings here proposed on actual, # based, programming languages should be analyzed [10, 15]. Also, further optimizations for particular patterns of # terms (e.g. recursive function definitions) could be pursued. The encodings of the environment machines opens perspectives of encoding others machines, thus providing for the study of other # reduction strategies in the realm of ....
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. 31
Decoding Choice Encodings - Nestmann, Pierce (1996) (52 citations) Self-citation (Pierce) (Correct)
No context found.
Benjamin C. Pierce and David N. Turner. Pict: A programming language based on the pi-calculus. Technical report in preparation; available electronically, 1996.
Linearity and the Pi-Calculus - Naoki Kobayashi University (1996) (85 citations) Self-citation (Pierce Turner) (Correct)
No context found.
Benjamin C. Pierce and David N. Turner. Pict: A programming language based on the picalculus. To appear, 1995.
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).
What are Polymorphically-Typed Ambients? - Amtoft, Kfoury, Pericas-Geertsen (2001) (Correct)
No context found.
B. C. Pierce and D. N. Turner. Pict: A programming language based on the pi-calculus. Technical report, IU, 1997.
Genericity and the π-Calculus - Berger, Honda, Yoshida (Correct)
No context found.
Pierce, B. C., and Turner, D. N. Pict: A programming language based on the pi-calculus. In Proof, Language and Interaction: Essays in Honour of Robin Milner, G. Plotkin, C. Stirling, and M. Tofte, Eds. MIT Press, 2000.
Modelling Dynamic Web Data - Philippa Gardner And (Correct)
No context found.
Pierce, B.C., Turner, D.N.: Pict: A programming language based on the pi-calculus. In: Proof, Language and Interaction: Essays in Honour of Robin Milner, MIT Press (2000)
An Implicitly-Typed Deadlock-Free Process Calculus - Kobayashi, Saito, Sumii (4 citations) (Correct)
No context found.
B. C. Pierce and D. N. Turner. Pict: A programming language based on the picalculus. To appear in Proof, Language, and Interaction: Essays in Honour of Robin Milner, MIT Press, 2000
A Calculus for Modeling Software Components - Nierstrasz, Achermann (2002) (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, May 2000. Oscar Nierstrasz and Franz Achermann
EXPRESS'98 --- to appear - On The Expressive (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, eds, Proof, Language and Interaction: Essays in Honour of Robin Milner. To appear.
Towards Abstractions for Distributed Systems - Berger (2004) (4 citations) (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. MIT Press, 2000.
Primitives for Authentication in Process Algebras - Bodei, Degano, Focardi, Priami (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, May 2000.
On Asynchrony in Name-Passing Calculi - Merro, Sangiorgi (2002) (47 citations) (Correct)
No context found.
B. C. Pierce and D. N. Turner. Pict: A programming language based on the pi-calculus. Technical Report CSCI 476, Indiana University, 1997.
What are Polymorphically-Typed Ambients? - Amtoft, Kfoury, Pericas-Geertsen (2000) (Correct)
No context found.
B. C. Pierce and D. N. Turner. Pict: A programming language based on the pi-calculus. Technical report, IU, 1997. 3
Towards Abstractions for Distributed Systems - Berger (2000) (4 citations) (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. MIT Press, 2000.
The Impact of Linearity Information on the Performance of TyCO - Martins, al. (2003) (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.
The UDP Calculus: Rigorous Semantics for Real Networking - Serjantov, Sewell, Wansbrough (2001) (5 citations) (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. MIT Press, 2000.
Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (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. MIT Press, 2000.
Secure Composition of Untrusted Code: Box π, Wrappers, and.. - Sewell, Vitek (2002) (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. MIT Press, 1999.
Type Reconstruction for Linear Pi-Calculus with I/O Subtyping - Igarashi, Kobayashi (2001) (8 citations) (Correct)
No context found.
Benjamin C. Pierce and David N. Turner. Pict: A programming language based on the pi-calculus. Technical report, Computer Science Department, Indiana University, 1997. To appear in Milner Festschrift, MIT Press, 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