On the Compositionality and Analysis of Algebraic High-Level Nets (1991)

by Johan Lilius
Venue:RESEARCH REPORT A16, DIGITAL SYSTEMS LABORATORY
Citations:3 - 1 self

Active Bibliography

41 Applications of Linear Logic to Computation: An Overview – Vladimir Alexiev - 1993
53 A Brief Guide to Linear Logic – Andre Scedrov - 1993
90 Decision Problems for Propositional Linear Logic – Patrick Lincoln, John Mitchell, Andre Scedrov, Natarajan Shankar - 1990
12 Quantales And Observational Semantics – Pedro Resende - 2000
22 On the meaning of logical rules I: syntax vs. semantics – Jean-Yves Girard - 1998
15 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
1 A Static Analysis of a Classical Linear Logic Programming Language – Kyoung-sun Kang
24 Linear Logic – Patrick Lincoln - 1992
SECOND ORDER INDEXED LINEAR LOGIC – Alexandra Bac-bruasse
Theses Series DISI-TH-2003-XX – Luca Paolini, Université De La Méditerranée, Luca Paolini, G. Rosolini, Ext Reviewers, A. Bucciarelli, S. Ronchi, Della Rocca
16 Linearizing Intuitionistic Implication – Patrick Lincoln, Andre Scedrov, Natarajan Shankar - 1993
13 An axiomatization of the category of Petri net computations – Vladimiro Sassone - 1998
1 Theoretical – Place/transition Petri Nets, Meseguer A, Ugo Montanari B, Vladimir Sassone B~c
9 On the Category of Petri Net Computations – Vladimiro Sassone - 1995
15 Transactions and Zero-Safe Nets – Roberto Bruni, Ugo Montanari - 2001
26 Process versus Unfolding Semantics for Place/Transition Petri Nets – Jose Meseguer , Ugo Montanari , Vladimiro Sassone - 1996
22 On the Semantics of Place/Transition Petri Nets – José Meseguer, Ugo Montanari, Vladimiro Sassone - 1992
24 On the semantics of Petri nets – José Meseguer, Ugo Montanari, Vladimiro Sassone - 1992