|
3
|
On the Compositionality and Analysis of Algebraic High-Level Nets
– Johan Lilius, Johan Lilius
- 1991
|
|
41
|
Applications of Linear Logic to Computation: An Overview
– Vladimir Alexiev
- 1993
|
|
53
|
A Brief Guide to Linear Logic
– Andre Scedrov
- 1993
|
|
10
|
First Order Linear Logic in Symmetric Monoidal Closed Categories
– Simon John Ambler
- 1991
|
|
|
Petri Net Semantics of Bunched Implications
– Peter O'Hearn And Hongseok Yang, Peter W. O'hearn, Hongseok Yang
|
|
22
|
Linear Logic
– Patrick Lincoln
- 1992
|
|
85
|
Decision Problems for Propositional Linear Logic
– Patrick Lincoln, John Mitchell, Andre Scedrov, Natarajan Shankar
- 1990
|
|
4
|
Zero-Safe Nets: Composing Nets via Transition Synchronization
– Roberto Bruni, Ugo Montanari
- 1999
|
|
13
|
Rewriting Logic as a Unifying Framework for Petri Nets
– Mark-Oliver Stehr, José Meseguer, Peter Csaba
- 2001
|
|
94
|
A Categorical Manifesto
– Joseph A. Goguen
- 1991
|
|
10
|
Action and Change in Rewriting Logic
– Narciso Martí-Oliet, José Meseguer
- 1996
|
|
290
|
Logic Programming with Focusing Proofs in Linear Logic
– Jean-marc Andreoli
- 1992
|
|
283
|
Logic Programming in a Fragment of Intuitionistic Linear Logic: Extended Abstract
– Joshua S. Hodas, Dale Miller
- 1991
|
|
4
|
A Survey of Linear Logic Programming
– Dale Miller
- 1995
|
|
5
|
The Logical Meeting Point of Multiset Rewriting and Process Algebra: Progress Report
– Iliano Cervesato
- 2004
|
|
5
|
An Overview of Linear Logic Programming
– Dale Miller
- 1985
|
|
7
|
Relating State-Based and Process-Based Concurrency through Linear Logic
– Iliano Cervesato, Andre Scedrov
- 2006
|
|
1
|
A Static Analysis of a Classical Linear Logic Programming Language
– Kyoung-sun Kang
|
|
5
|
An Application of a Temporal Linear Logic to Timed Petri Nets
– Takaharu Hirai
- 1999
|
