Naoki Kobayashi  Home/Search
Context Related
| indiana.edu/l/www/ftp/...linearpi.ps.gz indiana.edu/ftp/pierce...linearpi.ps.gz upenn.edu/~bcpierce/pa...linearpi.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: indiana.edu/l/www/ftp/pierce/ (more) From: indiana.edu/ftp/pierce/ Homepages: N.Kobayashi |
Rate this article:      (best)Comment on this article |
Abstract: A static type system with "use-once" channel types, inspired by linear logic, is applied to a pure calculus of processes and message passing. Applications of this type system include static detection of errors in concurrent programs, compiler optimizations, and more natural program equivalences. After developing standard results such as soundness of typing, we focus on equivalences, adapting the standard notion of barbed bisimulation to the linear setting and showing how reductions on linear... (Update)
Cited by: More
Secrecy by Typing in Security Protocols - Abadi (1998) (Correct)
Mobility Types for Mobile Ambients - Cardelli, Ghelli, Gordon (1999) (Correct)
CLL: A Concurrent Language Built from Logical Principles - Garg (2005) (Correct)
Similar documents (at the sentence level):
48.7%: Linearity and the Pi-Calculus - Kobayashi, Pierce, Turner (1996) (Correct)
Active bibliography (related documents): More All
0.5: Static Analysis of Communication for Asynchronous Concurrent.. - Kobayashi (1995) (Correct)
0.2: Graph Types For Monadic Mobile Processes - Yoshida (1996) (Correct)
0.2: Working with Linear Logic in Coq - Power, Webster (Correct)
Similar documents based on text: More All
0.1: A Partially Deadlock-Free Typed Process Calculus - Naoki Kobayashi University (1997) (Correct)
0.1: Behavioral Equivalence in the Polymorphic Pi-Calculus - Benjamin C. Pierce, Davide .. (1996) (Correct)
0.1: Pict: A Programming Language Based on the Pi-Calculus - Pierce, Turner (1997) (Correct)
Related documents from co-citation: More All
52: Information and Computation (context) - Milner, Parrow et al. - 1992
43: A partially deadlock-free typed process calculus - Kobayashi - 1997
40: Pict: A programming language based on the pi-calculus - Pierce, Turner - 1997
BibTeX entry: (Update)
Naoki Kobayashi, Benjamin C. Pierce, and David N. Turner. Linearity and the pi-calculus. In Principles of Programming Languages, 1996. http://citeseer.ist.psu.edu/kobayashi95linearity.html More
@article{ kobayashi99linearity,
author = "Naoki Kobayashi and Benjamin C. Pierce and David N. Turner",
title = "Linearity and the {Pi-Calculus}",
journal = "ACM Transactions on Programming Languages and Systems",
volume = "21",
number = "5",
pages = "914--947",
year = "1999",
url = "citeseer.ist.psu.edu/kobayashi95linearity.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992 DBLP
673 Actors: a Model of Concurrent Computation in Distributed Sys.. (context) - Agha - 1986 ACM
294 An object calculus for asynchronous communication - Honda, Tokoro - 1991 ACM DBLP
248 Expressing Mobility (context) - Sangiorgi - 1992
233 Computational interpretations of linear logic - Abramsky - 1993 ACM DBLP
215 Theoretical Computer Science (context) - Girard - 1987
200 Pict: A programming language based on the pi-calculus - Pierce, Turner - 1995
200 Viewing control structures as patterns of passing messages (context) - Hewitt - 1977 DBLP
197 Barbed bisimulation - Milner, Sangiorgi - 1992 ACM DBLP
159 CML: A higher-order concurrent language (context) - Reppy - 1991 DBLP
127 Information and Computation (context) - Walker, the - 1995 DBLP
119 Facile: A Symmetric Integration of Concurrent and Functional.. (context) - Giacalone, Mishra et al. - 1989 ACM DBLP
116 Mathematical Structures in Computer Science (context) - Pierce, Sangiorgi et al. - 1995
99 Typed concurrent objects - Vasconcelos - 1994 ACM DBLP
81 Once upon a type - Turner, Wadler et al. - 1995 ACM DBLP
73 Is there a use for linear logic (context) - Wadler - 1991
47 volume 7 of Cambridge Tracts in Theoretical Computer Science (context) - Girard, Lafont et al. - 1989
47 Lilac: A functional programming language based on linear log.. (context) - Mackie - 1994 DBLP
46 Lambda-calculus notation with nameless dummies: a tool for a.. (context) - de Bruijn - 1972
44 An interaction-based language and its typing system - Takeuchi, Honda et al. - 1994 ACM DBLP
39 A pi-calculus semantics for an object-based design notation (context) - Jones - 1993 ACM DBLP
27 Principal typing schemes in a polyadic pi-calculus (context) - Vasconcelos, Honda - 1993 ACM DBLP
24 A sort inference algorithm for the polyadic ß-calculus (context) - Gay - 1993
23 Higher-order concurrent programs with finite communication t.. (context) - Nielson, Nielson - 1994 DBLP
20 Polarized name passing (context) - Odersky - 1995 ACM DBLP
15 Lively linear lisp -- look ma (context) - Baker - 1992
12 Confluence of processes and systems of objects (context) - Liu, Walker - 1995 ACM DBLP
11 polymorphism and implementation (context) - Turner, Types - 1995
5 Lolli: An extension of Prolog with linear context management (context) - Hodas - 1992
2 Static analysis of communication for asynchrnous concurrent .. (context) - Kobayashi, Nakade et al. - 1995
1 Draft technical report (context) - Nestmann, Steffen et al. - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.indiana.edu/l/www/ftp/pierce/): More
A Record Calculus Based on Symmetric Concatenation - Harper, Pierce (1991) (Correct)
Decoding Choice Encodings - Nestmann, Pierce (1996) (Correct)
Decoding Choice Encodings - Nestmann, Pierce (1996) (Correct)
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