On the Structure of High-level Nets (1995)

Cached

Download Links

by Johan Lilius , Johan Lilius
Venue:Helsinki University of Technology
Citations:10 - 0 self

Active Bibliography

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
Petri Net Semantics of Bunched Implications – Peter O'Hearn And Hongseok Yang, Peter W. O'hearn, Hongseok Yang
11 First Order Linear Logic in Symmetric Monoidal Closed Categories – Simon John Ambler - 1991
24 Linear Logic – Patrick Lincoln - 1992
90 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
86 A Logical View of Composition – Mart N Abadi, Gordon D. Plotkin, Mart N Abadi, Gordon D. Plotkin - 1992
14 Rewriting Logic as a Unifying Framework for Petri Nets – Mark-Oliver Stehr, José Meseguer, Peter Csaba - 2001
100 A Categorical Manifesto – Joseph A. Goguen - 1991
10 Action and Change in Rewriting Logic – Narciso Martí-Oliet, José Meseguer - 1996
303 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
333 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
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
7 An Overview of Linear Logic Programming – Dale Miller - 1985
12 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