Rational Term Rewriting (1998)

Cached

Download Links

by A. Corradini , F. Gadducci
Citations:21 - 12 self

Active Bibliography

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