An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories (1999)

Cached

Download Links

by Andrea Corradini , Fabio Gadducci
Venue:Applied Categorical Structures
Citations:37 - 24 self

Documents Related by Co-Citation

166 Functorial Semantics of Algebraic Theories – F W Lawvere - 1963
34 A 2-Categorical Presentation of Term Graph Rewriting – A. Corradini, F. Gadducci - 1997
30 An Inductive View of Graph Transformation – F. Gadducci, R. Heckel - 1998
930 Categories for the Working Mathematician – S Mac Lane - 1971
137 Review of the elements of 2-categories – Max Kelly, Ross Street
20 Equational Reasoning With 2-Dimensional Diagrams (preliminary Version) – Yves Lafont - 1992
18 A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting – Fabio Gadducci, Reiko Heckel, Mercé Llabrés - 1999
55 Categories of partial maps – E Robinson, G Rosolini - 1988
42 Bicategories of Processes – P. Katis, N. Sabadini, R. F. C. Walters - 1997
28 Span(Graph): A categorical algebra of transition systems – P Katis, N Sabadini, R F C Walters - 1997
65 The Tile Model – Fabio Gadducci, Ugo Montanari - 1996
6 Functorial Semantics for Multi-algebras – Andrea Corradini, Fabio Gadducci - 1998
22 Term graph rewriting and the π-calculus – F Gadducci - 2003
67 Semantics of weakening and contraction – B Jacobs - 1994
7 On partial algebras – H J Hoenke - 1977
3219 Communication and Concurrency – R Milner - 1990
32 Mapping Tile Logic into Rewriting Logic – J. Meseguer - 1998
24 On The Algebraic Approach To Concurrent Term Rewriting – Fabio Gadducci - 1996
577 Petri Nets: An Introduction – W Reisig - 1985