Asynchronous Communication Model Based on Linear Logic (1995)

Cached

Download Links

by Naoki Kobayashi , Akinori Yonezawa
Venue:Formal Aspects of Computing
Citations:47 - 6 self

Documents Related by Co-Citation

333 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
101 The π-calculus as a theory in linear logic: Preliminary results – Dale Miller - 1993
306 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
45 Communication as Fair Distribution of Knowledge – Jean-marc Andreoli, Remo Pareschi - 1991
374 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
205 Linear Objects: logical processes with built-in inheritance – Jean-Marc Andreoli, Remo Pareschi - 1990
46 ACL - A Concurrent Linear Logic Programming Paradigm – Naoki Kobayashi, Akinori Yonezawa - 1993
616 Light Linear Logic – Jean-yves Girard
14 Forum: A Multiple-Conclusion Speci Logic – D Miller - 1996
142 A meta-notation for protocol analysis – I. Cervesato, N. A. Durgin, P. D. Lincoln, J. C. Mitchell, A. Scedrov - 1999
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
86 Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic – V M Abrusci - 1991
33 Petri Nets as Models of Linear Logic – Uffe Engberg, Glynn Winskel, Ny Munkegade - 1990
948 Generative communication in Linda – David Gelernter - 1985
3219 Communication and Concurrency – R Milner - 1990
269 The family of concurrent logic programming languages – E Shapiro - 1989
442 Concurrent Constraint Programming – Vijay A. Saraswat, Martin Rinard - 1993
12 Petri Nets and Linear Logic: a case study for logic programming – Iliano Cervesato - 1995
27 The Type System of a Higher-Order Logic Programming Language – Gopalan Nadathur, Frank Pfenning - 1992