CPO models for infinite term rewriting (1995)

Cached

Download Links

by Andrea Corradini , Fabio Gadducci
Venue:in Proc. AMAST'95, LNCS 936
Citations:10 - 7 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
11 Enriched Categories as Models of Computation – Fabio Gadducci, Ugo Montanari - 1996
12 Rewriting On Cyclic Structures: Equivalence Between The Operational And The Categorical Description – Andrea Corradini, Fabio Gadducci - 1999
21 Rational Term Rewriting – A. Corradini, F. Gadducci - 1998
34 A 2-Categorical Presentation of Term Graph Rewriting – A. Corradini, F. Gadducci - 1997
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 Tiles, Rewriting Rules and CCS – Fabio Gadducci, Ugo Montanari
18 A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting – Fabio Gadducci, Reiko Heckel, Mercé Llabrés - 1999
82 Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report – José Meseguer - 1996
17 Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems – Ugo Montanari, Francesca Rossi - 1999
Semantics Of Non-Terminating Systems Through Term Rewriting – José Bernardo dos Santos Monteiro Vieira de Barros - 1995
7 CCS Semantics via Proved Transition Systems and Rewriting Logic – Georgia Carabetta, Pierpaolo Degano, Fabio Gadducci - 1998
14 A Functorial Semantics for Multi-Algebras and Partial Algebras, With Applications to Syntax – Andrea Corradini, Fabio Gadducci - 2000
Modular Specifications: Constructions With Finite Colimits, Diagrams, Isomorphisms – Catherine Oriat - 1996
9 On the Role of Category Theory in the Area of Algebraic Specifications – H. Ehrig, M. Große-Rhode, U. Wolter - 1996
23 Algebraic Approaches to Nondeterminism - an Overview – Michal Walicki, Sigurd Meldal - 1997
24 A Rewriting Logic for Declarative Programming – J.C. González-Moreno, M.T. Hortalá-González, F.J. López-Fraguas, M. Rodríguez-Artalejo, F. J. L'opez-fraguas - 1996