333

Logic Programming with Focusing Proofs in Linear Logic
– Jeanmarc 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
– Jeanmarc 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 builtin inheritance
– JeanMarc Andreoli, Remo Pareschi
 1990

46

ACL  A Concurrent Linear Logic Programming Paradigm
– Naoki Kobayashi, Akinori Yonezawa
 1993

616

Light Linear Logic
– Jeanyves Girard

14

Forum: A MultipleConclusion Speci Logic
– D Miller
 1996

142

A metanotation 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 HigherOrder Logic Programming Language
– Gopalan Nadathur, Frank Pfenning
 1992
