A 2-Categorical Presentation of Term Graph Rewriting (1997)

Cached

Download Links

by A. Corradini , F. Gadducci
Venue:CATEGORY THEORY AND COMPUTER SCIENCE, VOLUME 1290 OF LNCS
Citations:34 - 17 self

Documents Related by Co-Citation

136 Review of the elements of 2-categories – Street Ross Kelly, G M - 2005
161 Petri nets are monoids – J Meseguer, U Montanari - 1990
472 Conditional rewriting logic as a unified model of concurrency – J Meseguer - 1992
166 Functorial Semantics of Algebraic Theories – F W Lawvere - 1963
32 Mapping Tile Logic into Rewriting Logic – J. Meseguer - 1998
24 On The Algebraic Approach To Concurrent Term Rewriting – Fabio Gadducci - 1996
37 An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories – Andrea Corradini, Fabio Gadducci - 1999
14 Tiles for Concurrent and Located Calculi – G L Ferrari, U Montanari - 1997
42 Bicategories of Processes – P. Katis, N. Sabadini, R. F. C. Walters - 1997
65 The Tile Model – Fabio Gadducci, Ugo Montanari - 1996
17 Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems – Ugo Montanari, Francesca Rossi - 1999
73 Compositionality through an operational semantics of contexts – K G Larsen, X Liu - 1991
34 An algebraic semantics for structured transition systems and its application to logic programs – A Corradini, U Montanari - 1992
28 Span(Graph): A categorical algebra of transition systems – P Katis, N Sabadini, R F C Walters - 1997
21 Rational Term Rewriting – A. Corradini, F. Gadducci - 1998
33 Categorical structures – Ross Street - 1996
1280 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
20 Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms – D E Rydeheard, J G Stell - 1987
16 An abstract formulation for rewrite systems – A J Power - 1989