An Inductive View of Graph Transformation (1998)

Cached

Download Links

by F. Gadducci , R. Heckel
Venue:In Workshop on Algebraic Development Techniques
Citations:30 - 12 self

Active Bibliography

37 An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories – Andrea Corradini, Fabio Gadducci - 1999
18 A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting – Fabio Gadducci, Reiko Heckel, Mercé Llabrés - 1999
65 The Tile Model – Fabio Gadducci, Ugo Montanari - 1996
12 Rewriting On Cyclic Structures: Equivalence Between The Operational And The Categorical Description – Andrea Corradini, Fabio Gadducci - 1999
4 Rewriting on Cyclic Structures – Andrea Corradini, Andrea Corradini, Fabio Gadducci, Fabio Gadducci - 1998
34 A 2-Categorical Presentation of Term Graph Rewriting – A. Corradini, F. Gadducci - 1997
14 Normal Forms for Partitions and Relations – Roberto Bruni, Fabio Gadducci, Ugo Montanari - 1999
5 Normal Forms for Algebras of Connections – Roberto Bruni, Fabio Gadducci, Ugo Montanari - 2000
9 Some Algebraic Laws for Spans (and Their Connections With Multi-Relations) – Roberto Bruni, Fabio Gadducci - 2001
6 Functorial Semantics for Multi-algebras – Andrea Corradini, Fabio Gadducci - 1998
14 A Functorial Semantics for Multi-Algebras and Partial Algebras, With Applications to Syntax – Andrea Corradini, Fabio Gadducci - 2000
17 Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems – Ugo Montanari, Francesca Rossi - 1999
13 Tile Formats for Located and Mobile Systems – GianLuigi Ferrari, Ugo Montanari
2 Representing Place/Transition Nets in Span(Graph) – Piergiulio Katis, N. Sabadini, R.F.C. Walters - 1997
62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
14 Axioms for Contextual Net Processes – F. Gadducci, U. Montanari - 1998
5 Term Graph Syntax for Multi-Algebras – A. Corradini, F. Gadducci, W. Kahl - 2000
The parallel composition of processes – L. De Francesco Albasini, N. Sabadini, R. F. C. Walters - 904
33 Process and Term Tile Logic – Roberto Bruni, José Meseguer, Ugo Montanari - 1998