Process and Term Tile Logic (1998)

by Roberto Bruni , José Meseguer , Ugo Montanari
Citations:34 - 25 self

Documents Related by Co-Citation

32 Mapping Tile Logic into Rewriting Logic – J. Meseguer - 1998
61 Reflection and Strategies in Rewriting Logic – Manuel Clavel - 1996
73 Compositionality through an operational semantics of contexts – K G Larsen, X Liu - 1991
65 The Tile Model – Fabio Gadducci, Ugo Montanari - 1996
124 Principles of Maude – Clavel Eker, M. Clavel, S. Eker, J. Meseguer - 1996
19 An Introduction to Maude (Beta Version – M Clavel, F Durn, S Eker, P Lincoln, J Meseguer - 1998
475 Conditional Rewriting Logic as a unified model of concurrency – J Meseguer - 1992
37 Tile Logic for Synchronized Rewriting of Concurrent Systems – Roberto Bruni, Prof Ugo Montanari - 1999
35 Reflection in general logics and in rewriting logic, with applications to the Maude language – M Clavel - 1998
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
82 Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report – José Meseguer - 1996
49 Conditional Rewriting Logic as a Uni Model of Concurrency – J Meseguer - 1992
1289 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
86 ELAN: A logical framework based on computational systems – Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek - 1997
168 Functorial semantics of algebraic theories – F W Lawvere - 1963
21 Internal Strategies in a Reflective Logic – Manuel Clavel, José Meseguer - 1997
35 Axiomatizing Reflective Logics and Languages – Manuel G. Clavel, José Meseguer - 1996
34 A 2-Categorical Presentation of Term Graph Rewriting – A. Corradini, F. Gadducci - 1997
24 On The Algebraic Approach To Concurrent Term Rewriting – Fabio Gadducci - 1996