Mapping Tile Logic into Rewriting Logic (1998)

Cached

Download Links

by J. Meseguer
Citations:32 - 23 self

Documents Related by Co-Citation

65 The Tile Model – Fabio Gadducci, Ugo Montanari - 1996
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
33 Process and Term Tile Logic – Roberto Bruni, José Meseguer, Ugo Montanari - 1998
73 Compositionality through an operational semantics of contexts – K G Larsen, X Liu - 1991
472 Conditional rewriting logic as a unified model of concurrency – J Meseguer - 1992
34 A 2-Categorical Presentation of Term Graph Rewriting – A. Corradini, F. Gadducci - 1997
189 Structured Operational Semantics and Bisimulation as a Congruence, Information and Computation 100 – J F Groote, F Vaandrager - 1992
196 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995
166 Functorial Semantics of Algebraic Theories – F W Lawvere - 1963
17 Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems – Ugo Montanari, Francesca Rossi - 1999
36 Tile Logic for Synchronized Rewriting of Concurrent Systems – Roberto Bruni, Prof Ugo Montanari - 1999
24 On The Algebraic Approach To Concurrent Term Rewriting – Fabio Gadducci - 1996
161 Petri nets are monoids – J Meseguer, U Montanari - 1990
14 Tiles for Concurrent and Located Calculi – G L Ferrari, U Montanari - 1997
34 An algebraic semantics for structured transition systems and its application to logic programs – A Corradini, U Montanari - 1992
142 Membership Algebra as a Logical Framework for Equational Specification – José Meseguer, A Mi Madre, Fuensanta Guaita De Meseguer - 1998
82 Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report – José Meseguer - 1996
11 Representation Theorems for Petri Nets – José Meseguer, Ugo Montanari, Vladimiro Sassone
39 Axiomatizing the algebra of net computations and processes – P Degano, J Meseguer, U Montanari - 1996