A 2-Categorical Presentation of Term Graph Rewriting (1997)

Cached

Download Links

by A. Corradini , F. Gadducci
Venue:CATEGORY THEORY AND COMPUTER SCIENCE, VOLUME 1290 OF LNCS
Citations:34 - 17 self

Active Bibliography

37 An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories – Andrea Corradini, Fabio Gadducci - 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
30 An Inductive View of Graph Transformation – F. Gadducci, R. Heckel - 1998
4 Rewriting on Cyclic Structures – Andrea Corradini, Andrea Corradini, Fabio Gadducci, Fabio Gadducci - 1998
14 A Functorial Semantics for Multi-Algebras and Partial Algebras, With Applications to Syntax – Andrea Corradini, Fabio Gadducci - 2000
6 Functorial Semantics for Multi-algebras – Andrea Corradini, Fabio Gadducci - 1998
33 Process and Term Tile Logic – Roberto Bruni, José Meseguer, Ugo Montanari - 1998
18 A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting – Fabio Gadducci, Reiko Heckel, Mercé Llabrés - 1999
21 Rational Term Rewriting – A. Corradini, F. Gadducci - 1998
10 CPO models for infinite term rewriting – Andrea Corradini, Fabio Gadducci - 1995
13 Executable Tile Specifications for Process Calculi – Roberto Bruni, José Meseguer, Ugo Montanari - 1999
5 Term Graph Syntax for Multi-Algebras – A. Corradini, F. Gadducci, W. Kahl - 2000
62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
9 On the Role of Category Theory in the Area of Algebraic Specifications – H. Ehrig, M. Große-Rhode, U. Wolter - 1996
13 Tile Formats for Located and Mobile Systems – GianLuigi Ferrari, Ugo Montanari
7 CCS Semantics via Proved Transition Systems and Rewriting Logic – Georgia Carabetta, Pierpaolo Degano, Fabio Gadducci - 1998
14 Tiles, Rewriting Rules and CCS – Fabio Gadducci, Ugo Montanari
17 Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems – Ugo Montanari, Francesca Rossi - 1999