Linearity and the Pi-Calculus

Linearity and the Pi-Calculus (1999)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Naoki Kobayashi , Benjamin C. Pierce , David N. Turner

Citations:

119 - 16 self

BibTeX

@MISC{Kobayashi99linearityand,
    author = {Naoki Kobayashi and Benjamin C. Pierce and David N. Turner},
    title = {Linearity and the Pi-Calculus},
    year = {1999}
}

Bookmark

OpenURL

Abstract

Citations

2971	Communication and Concurrency - Milner - 1989
1008	Actors: a model of concurrent computation in distributed systems - Agha - 1986
933	A calculus of mobile processes - Milner, Parrow, et al. - 1992
375	Viewing control structures as patterns of passing messages - Hewitt - 1977
341	An object calculus for asynchronous communication - Honda, Tokoro - 1991
278	Lambda-calculus notation with nameless dummies, a tool for automatic formula manipulation - Bruijn - 1972
272	Computational interpretations of linear logic - Abramsky - 1993
238	Pict: A programming language based on the pi-calculus - Pierce, Turner - 2000
238	Expressing Mobility in Process Algebras: First-Order and HigerOrder Paradigms - Sangiorgi - 1992
231	The reflexive chemical abstract machine and the join-calculus - Fournet, Gonthier - 1996
229	Typing and subtyping for mobile processes - Pierce, Sangiorgi - 1996
213	CML: A Higher-Order Concurrent Language - Reppy - 1991
192	D.: Barbed bisimulation - Milner, Sangiorgi - 1992
156	FACILE: A symmetric integration of Concurrent and Functional Programming - Giacalone, Mishra, et al. - 1989
132	Proofs and Types, volume 7 of Cambridge Tracts - Girard, Lafont, et al. - 1988
119	Interaction categories and the foundations of typed concurrent programming - Abramsky, Gay, et al. - 1996
98	An interaction-based language and its typing system - Takeuchi, Honda, et al. - 1994
91	linear Lisp – ’Look Ma, no garbage - Baker, Lively - 1992
90	A pi-calculus semantics for an object-based design notation - Jones
77	A sort inference algorithm for the polyadic -calculus - Gay - 1993
77	Once upon a type - Turner, Wadler, et al. - 1995
72	Concurrent objects in a process calculus - Pierce, Turner - 1995
70	Typed Concurrent Objects - Vasconcelos, Honda
70	Types for dyadic interaction - Honda - 1993
70	A partially deadlock-free type process calculus. Pages 128–139 of - Kobayashi - 1997
58	Higher-order concurrent programs with finite communication topology - Nielson, Nielson - 1994
55	A typed calculus of synchronous processes - Gay, Nagarajan - 1995
49	Motoki Nakade, and Akinori Yonezawa. Static analysis of communication for asynchronous concurrent programming languages - Kobayashi
48	Types for dydadic interaction - Honda - 1993
44	Lolli: An extension of Prolog with linear context management - Hodas - 1992
44	LiLac: a functional programming language based on Linear Logic - Mackie - 1993
41	Syntactic control of interference revisited - O’Hearn, Power, et al.
30	On bisimulations for the asynchronous pi-calculus - Amadio, Castellani, et al. - 1996
27	Composing processes - Honda - 1996
25	Type-Theoretic Foundations for Concurrent Object-Oriented Programming - Kobayashi, Yonezawa - 1994
24	Static analysis on communication for asynchronous concurrent programming languages - Kobayashi, Nakade, et al. - 1995
23	Towards foundations for concurrent objectoriented programming – types and language design. Theory and Practice of Object Systems - Kobayashi, Yonezawa - 1995
20	Polarized name passing - Odersky - 1995
16	Combinatory Representation of Mobile Processes - Honda, Yoshida - 1994
13	Functions as processes. Research Report 1154, INRIA, Sofia Antipolis - Milner - 1990
13	Functional computation as concurrent com-putation - NIEHREN - 1996
10	Confluence of processes and systems of objects - Liu, Walker - 1995
10	The polyadic -calculus: a tutorial. Technical Report ECS–LFCS–91–180, Laboratory for Foundations of Computer Science - Milner - 1991
9	Static and dynamic processor allocation for higher-order concurrent languages - Nielson, Nielson - 1995
8	Typing confluence - Nestmann, Steffen - 1997
8	Type-Based Analysis of Usage of Communication Channels for Concurrent Programming Languages - Igarashi, Kobayashi - 1997
7	A polymorphic type system for the polyadic ��-calculus - Liu, Walker - 1995
4	The -calculus: Types, polymorphism and implementation - Turner - 1996