Mapping Tile Logic into Rewriting Logic (1998)

Cached

Download Links

by J. Meseguer
Citations:32 - 23 self

Active Bibliography

33 Process and Term Tile Logic – Roberto Bruni, José Meseguer, Ugo Montanari - 1998
170 Maude: Specification and Programming in Rewriting Logic – M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, J. F. Quesada - 2001
13 Executable Tile Specifications for Process Calculi – Roberto Bruni, José Meseguer, Ugo Montanari - 1999
1 Strategic Reflection – Patrick Lincoln, José Meseguer - 1998
1 Formal foundations for compositional software architectures – Carolyn Talcott - 1998
13 Formal Interoperability – José Meseguer - 1998
82 Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report – José Meseguer - 1996
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
15 Internal Strategies in a Rewriting Implementation of Tile Systems – R. Bruni, J. Meseguer, U. Montanari - 1998
123 Principles of Maude – Clavel Eker, M. Clavel, S. Eker, J. Meseguer - 1996
31 Research Directions in Rewriting Logic – José Meseguer - 1998
38 Building Equational Proving Tools by Reflection in Rewriting Logic – Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer - 1998
The Syntax of Coherence – Noson S. Yanofsky - 1999
12 The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads – Martin Hyland, John Power - 2007
14 A comparison of Petri net semantics under the collective token philosophy – Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone - 1998
35 Axiomatizing Reflective Logics and Languages – Manuel G. Clavel, José Meseguer - 1996
3 Membership Equational Logic, Calculus of Inductive Constructions, and Rewrite Logic (Extended Abstract) – Jean-pierre Jouannaud - 1998
7 The Maude Specification of Full Maude – Francisco Durán, José Meseguer - 1999
unknown title – unknown authors