Naoki Kobayashi University of Tokyo -tokyo.ac.jp Benjamin C....  Home/Search
Context Related
Links: ACM DBLP | yl.is.s.utokyo.ac.jp/~k...popl96.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: kb.cs.titech.ac.jp...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The economy and flexibility of the pi-calculus make it attractive both as an object of theoretical study and as a basis for concurrent language design and implementation. However, such generality has a cost: encoding higher-level features like functional computation in pi-calculus throws away potentially useful information. We show how a linear type system can be used to recover important static information about a process's behaviour. In particular, we can guarantee that two processes... (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):
31.5%: Linearity and the Pi-Calculus - Kobayashi, Pierce, Turner (1996) (Correct)
Active bibliography (related documents): More All
1.0: Pict: A Programming Language Based on the Pi-Calculus - Pierce, Turner (1997) (Correct)
0.3: Global/Local Subtyping for a Distributed π-calculus - Sewell (1997) (Correct)
0.3: Behavioral Equivalence in the Polymorphic Pi-Calculus - Pierce, Sangiorgi (1997) (Correct)
Similar documents based on text: More All
0.2: Online-and-Offline Partial Evaluation: A Mixed Approach.. - Sumii, Kobayashi (2000) (Correct)
0.2: Garbage Collection Based on a Linear Type System - Igarashi, Kobayashi (2000) (Correct)
0.2: Type-Based Useless Variable Elimination - Kobayashi (2000) (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/article/kobayashi96linearity.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/article/kobayashi96linearity.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987 ACM
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
200 Pict: A programming language based on the picalculus - Pierce, Turner - 1995
200 Viewing control structures as patterns of passing messages (context) - Hewitt - 1977 DBLP
197 Barbed bisimulation - Milner, Sangiorgi - 1992
146 Typing and subtyping for mobile processes - Pierce, Sangiorgi - 1993 DBLP
127 Information and Computation (context) - Walker, the - 1995 DBLP
99 Typed concurrent objects - Vasconcelos - 1994
83 volume 7 of Cambridge Tracts in Theoretical Computer Science (context) - Girard, Lafont et al. - 1989
81 Once upon a type - Turner, Wadler et al. - 1995
73 Is there a use for linear logic (context) - Wadler - 1991
73 Concurrent objects in a process calculus - Pierce, Turner - 1995 ACM DBLP
47 Lilac: A functional programming language based on linear log.. (context) - Mackie - 1994 DBLP
44 An interaction-based language and its typing system - Takeuchi, Honda et al. - 1994 ACM DBLP
40 CML: A higher-order concurrent language (context) - Reppy - 1991 DBLP
39 The reflexive chemical abstract machine and the joincalculus (context) - Fournet, Gonthier - 1996
39 A pi-calculus semantics for an object-based design notation (context) - Jones - 1993 ACM DBLP
36 Interaction categories and the foundations of typed concurre.. - Abramsky, Gay et al. - 1994 ACM
34 Static analysis of communication for asynchronous concurrent.. - Kobayashi, Nakade et al. - 1995 ACM DBLP
33 Typetheoretic foundations for concurrent objectoriented prog.. (context) - Kobayashi, Yonezawa - 1994
27 Principal typing schemes in a polyadic pi-calculus (context) - Vasconcelos, Honda - 1993 ACM DBLP
23 Higher-order concurrent programs with finite communication t.. (context) - Nielson, Nielson - 1994 DBLP
22 A sort inference algorithm for the polyadic -calculus (context) - Gay - 1993
22 Functional computation as concurrent computation - Niehren - 1996 ACM DBLP
21 Towards foundations for concurrent object-oriented programmi.. (context) - Kobayashi, Yonezawa - 1995
20 Polarized name passing (context) - Odersky - 1995 ACM DBLP
19 A typed calculus of synchronous processes - Gay, Nagarajan - 1995
15 Lively linear lisp -- look ma (context) - Baker - 1992
14 Static and dynamic processor allocation for higher-order con.. - Nielson, Nielson - 1995 ACM DBLP
14 An investigation into functions as processes - Sangiorgi - 1993 ACM DBLP
12 Confluence of processes and systems of objects (context) - Liu, Walker - 1995 ACM DBLP
11 polymorphism and implementation (context) - Turner, -calulus - 1995
9 Syntactic control of interference revisited (context) - O'Hearn, Takayama et al. - 1995 ACM DBLP
9 Types for dydadic interaction (context) - Honda - 1993
7 A polymorphic type system for the polyadic -calculus (context) - Liu, Walker - 1995
6 Facile: A Symmetric Integration of Concurrent and Functional.. (context) - Giacalone, Mishra et al. - 1989 ACM DBLP
5 Universitat Erlangen-Nurnberg (context) - Steffen, Nestmann et al. - 1995
5 Lolli: An extension of Prolog with linear context management (context) - Hodas - 1992
2 Technical report (context) - Kobayashi, Pierce et al. - 1995
2 Final version in Journal of Mathematical Structures in Compu.. (context) - Milner, processes et al. - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.kb.cs.titech.ac.jp/~kobayasi/publications.html): More
Time Regions and Effects for Resource Usage Analysis - Kobayashi (2003) (Correct)
Type-Based Information Flow Analysis for Low-Level Languages - Kobayashi, Shirane (2002) (Correct)
Distributed Concurrent Linear Logic Programming - Kobayashi, Shimizu, Yonezawa (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