Executable Tile Specifications for Process Calculi (1999)

Cached

Download Links

by Roberto Bruni , José Meseguer , Ugo Montanari
Citations:13 - 10 self

Active Bibliography

33 Process and Term Tile Logic – Roberto Bruni, José Meseguer, Ugo Montanari - 1998
8 An Interactive Semantics of Logic Programming – Roberto Bruni, Ugo Montanari, Francesca Rossi - 2001
4 Tile Transition Systems as Structured Coalgebras – Andrea Corradini, Reiko Heckel, Ugo Montanari - 1999
1 Strategic Reflection – Patrick Lincoln, José Meseguer - 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
8 Open Ended Systems, Dynamic Bisimulation and Tile Logic – Roberto Bruni, Ugo Montanari, Vladimiro Sassone - 2000
12 Tile Bisimilarity Congruences for Open Terms and Term Graphs – R. Bruni, D. de Frutos-Escrig, N. Martí-Oliet, U. Montanari - 2000
13 Tile Formats for Located and Mobile Systems – GianLuigi Ferrari, Ugo Montanari
65 The Tile Model – Fabio Gadducci, Ugo Montanari - 1996
14 Tiles, Rewriting Rules and CCS – Fabio Gadducci, Ugo Montanari
11 Metalevel Computation in Maude – M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer - 1998
9 A Maude Tutorial – M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, J. F. Quesada - 2000
1 Formal foundations for compositional software architectures – Carolyn Talcott - 1998
35 Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools – José Meseguer - 2004
13 Formal Interoperability – José Meseguer - 1998
17 Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems – Ugo Montanari, Francesca Rossi - 1999
82 Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report – José Meseguer - 1996
Observational Congruences for Dynamically Reconfigurable Tile Systems – Roberto Bruni, Ugo Montanari, Vladimiro Sassone - 2003
1 On graph(ic) encodings – Roberto Bruni, Ivan Lanese - 2005