|
41
|
Applications of Linear Logic to Computation: An Overview
– Vladimir Alexiev
- 1993
|
|
53
|
A Brief Guide to Linear Logic
– Andre Scedrov
- 1993
|
|
85
|
Decision Problems for Propositional Linear Logic
– Patrick Lincoln, John Mitchell, Andre Scedrov, Natarajan Shankar
- 1990
|
|
12
|
Quantales And Observational Semantics
– Pedro Resende
- 2000
|
|
21
|
On the meaning of logical rules I: syntax vs. semantics
– Jean-Yves Girard
- 1998
|
|
13
|
Sequentiality vs. Concurrency in Games and Logic
– Samson Abramsky
- 2001
|
|
|
May I Borrow Your Logic? (Transporting Logical Structures along Maps)
– Maura Cerioli, José Meseguer
- 1995
|
|
|
SECOND ORDER INDEXED LINEAR LOGIC
– Alexandra Bac-bruasse
|
|
1
|
A Static Analysis of a Classical Linear Logic Programming Language
– Kyoung-sun Kang
|
|
22
|
Linear Logic
– Patrick Lincoln
- 1992
|
|
15
|
Linearizing Intuitionistic Implication
– Patrick Lincoln, Andre Scedrov, Natarajan Shankar
- 1993
|
|
13
|
An axiomatization of the category of Petri net computations
– Vladimiro Sassone
- 1998
|
|
14
|
Transactions and Zero-Safe Nets
– Roberto Bruni, Ugo Montanari
- 2001
|
|
9
|
On the Category of Petri Net Computations
– Vladimiro Sassone
- 1995
|
|
18
|
An Axiomatization of the Algebra of Petri Net Concatenable Processes
– Vladimiro Sassone
- 1996
|
|
24
|
Process versus Unfolding Semantics for Place/Transition Petri Nets
– José Meseguer, Ugo Montanari, Vladimiro Sassone
- 1996
|
|
23
|
On the semantics of Petri nets
– José Meseguer, Ugo Montanari, Vladimiro Sassone
- 1992
|
|
19
|
On the Semantics of Place/Transition Petri Nets
– José Meseguer, Ugo Montanari, Vladimiro Sassone
- 1992
|
|
1
|
Theoretical
– Place/transition Petri Nets, Meseguer A, Ugo Montanari B, Vladimir Sassone B~c
|
