Process and Term Tile Logic (1998)

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

Active Bibliography

13 Executable Tile Specifications for Process Calculi – Roberto Bruni, José Meseguer, Ugo Montanari - 1999
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
4 Tile Transition Systems as Structured Coalgebras – Andrea Corradini, Reiko Heckel, Ugo Montanari - 1999
1 Formal foundations for compositional software architectures – Carolyn Talcott - 1998
1 Strategic Reflection – Patrick Lincoln, 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
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
11 Metalevel Computation in Maude – M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer - 1998
5 Implementing Tile Systems: Some Examples From Process Calculi – R. Bruni, J. Meseguer - 1998
Implementing Tile Systems: . . . – R. Bruni, J. Meseguer, U. Montanari - 1998
9 A Maude Tutorial – M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, J. F. Quesada - 2000
10 Specification and Analysis of Real-Time and Hybrid Systems in Rewriting Logic – Peter Csaba Ölveczky - 2000
1 Reflection in Rewriting Logic and its Applications in the Maude Language – Manuel Clavel, José Meseguer - 1997
13 Formal Interoperability – José Meseguer - 1998
13 Tile Formats for Located and Mobile Systems – GianLuigi Ferrari, Ugo Montanari
8 Finite axiom systems for testing preorder and De Simone Process Languages – Irek Ulidowski - 2000