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
10 Quantales And Observational Semantics – Pedro Resende - 2000
22 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
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
λ-theories: some investigations – Luca Paolini - 2003
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
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
19 An Axiomatization of the Algebra of Petri Net Concatenable Processes – Vladimiro Sassone - 1996