An Inductive View of Graph Transformation (1998)

Cached

Download Links

by F. Gadducci , R. Heckel
Venue:In Workshop on Algebraic Development Techniques
Citations:30 - 12 self

Documents Related by Co-Citation

116 Deriving Bisimulation Congruences for Reactive Systems – James J. Leifer, Robin Milner - 2000
448 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
71 From Rewrite Rules to Bisimulation Congruences – Peter Sewell - 1998
34 Operational congruences for reactive systems – James Judi Leifer - 2001
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
161 Petri nets are monoids – J Meseguer, U Montanari - 1990
37 An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories – Andrea Corradini, Fabio Gadducci - 1999
29 Deriving Bisimulation Congruences using 2-categories – Vladimiro Sassone, Pawel Sobocinski, Pawe̷l Soboci Ński - 2003
56 Bigraphs and transitions – O H Jensen, R Milner - 2003
61 Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting – Hartmut Ehrig, Barbara König - 2004
63 2001): Bigraphical Reactive Systems – Robin Milner
18 A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting – Fabio Gadducci, Reiko Heckel, Mercé Llabrés - 1999
34 A 2-Categorical Presentation of Term Graph Rewriting – A. Corradini, F. Gadducci - 1997
42 Bicategories of Processes – P. Katis, N. Sabadini, R. F. C. Walters - 1997
144 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
143 Introduction to bicategories – J Benabou - 1967
14 Normal Forms for Partitions and Relations – Roberto Bruni, Fabio Gadducci, Ugo Montanari - 1999
930 Categories for the Working Mathematician – S Mac Lane - 1971
137 Review of the elements of 2-categories – Max Kelly, Ross Street