|
8
|
Rewriting On Cyclic Structures: Equivalence Between The Operational And The Categorical Description
– Andrea Corradini, Fabio Gadducci
- 1999
|
|
31
|
An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories
– Andrea Corradini, Fabio Gadducci
- 1999
|
|
60
|
The Tile Model
– Fabio Gadducci, Ugo Montanari
- 1996
|
|
11
|
Enriched Categories as Models of Computation
– Fabio Gadducci, Ugo Montanari
- 1996
|
|
32
|
A 2-Categorical Presentation of Term Graph Rewriting
– A. Corradini, F. Gadducci
- 1997
|
|
|
Semantics Of Non-Terminating Systems Through Term Rewriting
– José Bernardo dos Santos Monteiro Vieira de Barros
- 1995
|
|
10
|
CPO models for infinite term rewriting
– Andrea Corradini, Fabio Gadducci
- 1995
|
|
13
|
Tiles, Rewriting Rules and CCS
– Fabio Gadducci, Ugo Montanari
|
|
18
|
(Cyclic) Term Graph Rewriting is adequate for Rational Parallel Term Rewriting
– Andrea Corradini , Frank Drewes
- 1997
|
|
4
|
Rewriting on Cyclic Structures
– Andrea Corradini, Andrea Corradini, Fabio Gadducci, Fabio Gadducci
- 1998
|
|
10
|
A rewriting calculus for cyclic higher-order term graphs
– Paolo Baldan, Clara Bertolissi, Claude Kirchner
- 2004
|
|
28
|
An Inductive View of Graph Transformation
– F. Gadducci, R. Heckel
- 1998
|
|
|
DRAFT
– S. L. Bloom, Z. Ésik
- 2006
|
|
7
|
CCS Semantics via Proved Transition Systems and Rewriting Logic
– Georgia Carabetta, Pierpaolo Degano, Fabio Gadducci
- 1998
|
|
78
|
Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report
– José Meseguer
- 1996
|
|
15
|
A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting
– Fabio Gadducci, Reiko Heckel, Mercé Llabrés
- 1999
|
|
8
|
Axiomatizing Permutation Equivalence
– Cosimo Laneve, Ugo Montanari
- 1994
|
|
15
|
Algebra of Flownomials; Part 1: Binary Flownomials; Basic Theory
– Gheorghe Stefanescu
|
|
2
|
Infinitary Rewriting and Cyclic Graphs
– Richard Kennaway
- 1995
|
