An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories (1999)

Cached

Download Links

by Andrea Corradini , Fabio Gadducci
Venue:Applied Categorical Structures
Citations:37 - 24 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
14 Normal Forms for Partitions and Relations – Roberto Bruni, Fabio Gadducci, Ugo Montanari - 1999
34 A 2-Categorical Presentation of Term Graph Rewriting – A. Corradini, F. Gadducci - 1997
14 A Functorial Semantics for Multi-Algebras and Partial Algebras, With Applications to Syntax – Andrea Corradini, Fabio Gadducci - 2000
62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
5 Normal Forms for Algebras of Connections – Roberto Bruni, Fabio Gadducci, Ugo Montanari - 2000
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
6 Functorial Semantics for Multi-algebras – Andrea Corradini, Fabio Gadducci - 1998
13 Executable Tile Specifications for Process Calculi – Roberto Bruni, José Meseguer, Ugo Montanari - 1999
17 Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems – Ugo Montanari, Francesca Rossi - 1999
12 The Structure of Call-by-Value – Carsten Führmann - 2000
35 Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools – José Meseguer - 2004
82 Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report – José Meseguer - 1996
12 Relational Semantics of Non-Deterministic Dataflow – Thomas Troels Hildebrandt, Prakash Panangaden, Glynn Winskel - 1997
28 A Relational Model of Non-Deterministic Dataflow – Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel - 1998
6 Categorical Models for Concurrency: Independence, Fairness and Dataflow – Thomas Troels Hildebrandt - 2000