|
15
|
A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting
– Fabio Gadducci, Reiko Heckel, Mercé Llabrés
- 1999
|
|
31
|
An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories
– Andrea Corradini, Fabio Gadducci
- 1999
|
|
8
|
Rewriting On Cyclic Structures: Equivalence Between The Operational And The Categorical Description
– Andrea Corradini, Fabio Gadducci
- 1999
|
|
60
|
The Tile Model
– Fabio Gadducci, Ugo Montanari
- 1996
|
|
4
|
Rewriting on Cyclic Structures
– Andrea Corradini, Andrea Corradini, Fabio Gadducci, Fabio Gadducci
- 1998
|
|
32
|
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
|
|
2
|
Normal Forms for Algebras of Connections
– Roberto Bruni, Fabio Gadducci, Ugo Montanari
- 2000
|
|
7
|
Some Algebraic Laws for Spans (and Their Connections With Multi-Relations)
– Roberto Bruni, Fabio Gadducci
- 2001
|
|
11
|
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
|
|
60
|
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
|
|
32
|
Process and Term Tile Logic
– Roberto Bruni, José Meseguer, Ugo Montanari
- 1998
|
|
6
|
Functorial Semantics for Multi-algebras
– Andrea Corradini, Fabio Gadducci
- 1998
|
|
12
|
A Functorial Semantics for Multi-Algebras and Partial Algebras, With Applications to Syntax
– Andrea Corradini, Fabio Gadducci
- 2000
|
|
15
|
Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems
– Ugo Montanari, Francesca Rossi
- 1999
|
|
|
A Formal Graph Transformation Based . . .
– Aditya Agrawal
- 2004
|
|
2
|
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories
– Andrea Corradini, Martin Große-Rhode, Reiko Heckel
|
