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

Documents Related by Co-Citation

1 Completeness Results for Linear Logic on – U Engberg, G Winskel - 1993
1 PetriNetsAreMonoids: ANewAlgebraic Foundation for the Net Theory – J Meseguer, U Montanari - 1988
10 Quantales and (non-commutative) linear logic. Journal of Symbolic Logic – D N Yetter - 1990
2 Nets as Quantales – Petri - 1989
24 Nets as tensor theories – Carl Gunter, Vijay Gehlot - 1989
33 Petri Nets as Models of Linear Logic – Uffe Engberg, Glynn Winskel, Ny Munkegade - 1990
67 From Petri Nets to Linear Logic – N Marti-Oliet, J Meseguer - 1991
65 Quantales and their applications – K I Rosenthal - 1990
577 Petri Nets: An Introduction – W Reisig - 1985
5 The semantics of a net is a net, an exercise in general net theory – Einar Smith, Wolfgang Reisig - 1987
1 Private Communication – F de Cindio - 1994
1 Can skeletons really be used to detect deadlocks of Nets – G Findlow - 1991
10 Morphisms and Minimal Models for OBJSA Nets – E Battiston, F De Cindio, G Mauri, L Rapanotti - 1991
3 Semantics, composition, and properties of algebraic high-level nets.In – C Dimitrovici, U Hummert, L Petrucci - 1991
4 Algebraic speci┬úcations of computable and semicomputable data types – J A Bergstra, J V Tucker - 1987
5 Obtaining Deadlock-Preserving Skeletons for Coloured Nets – G Findlow - 1992
14 Elements of general net theory – H J GENRICH, K LAUTENBACH, P S THIAGARAJAN - 1980
57 Interpretations of net theory – C A Petri - 1976
22 Axiomatizing net computations and processes – P Degano, J Meseguer, U Montanari - 1989