|
18
|
Compositional SOS and beyond: a coalgebraic view of open systems
– Andrea Corradini , Reiko Heckel , Ugo Montanari
- 2002
|
|
32
|
Process and Term Tile Logic
– Roberto Bruni, José Meseguer, Ugo Montanari
- 1998
|
|
12
|
Executable Tile Specifications for Process Calculi
– Roberto Bruni, José Meseguer, Ugo Montanari
- 1999
|
|
60
|
The Tile Model
– Fabio Gadducci, Ugo Montanari
- 1996
|
|
5
|
An Interactive Semantics of Logic Programming
– Roberto Bruni, Ugo Montanari, Francesca Rossi
- 2001
|
|
11
|
Tile Formats for Located and Mobile Systems
– GianLuigi Ferrari, Ugo Montanari
|
|
|
Observational Congruences for Dynamically Reconfigurable Tile Systems
– Roberto Bruni, Ugo Montanari, Vladimiro Sassone
- 2003
|
|
15
|
A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting
– Fabio Gadducci, Reiko Heckel, Mercé Llabrés
- 1999
|
|
7
|
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
|
|
1
|
On graph(ic) encodings
– Roberto Bruni, Ivan Lanese
- 2005
|
|
3
|
Symbolic equivalences for open systems
– Paolo Baldan, Andrea Bracciali, Roberto Bruni
- 2005
|
|
15
|
Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems
– Ugo Montanari, Francesca Rossi
- 1999
|
|
32
|
Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools
– José Meseguer
- 2004
|
|
13
|
Tiles, Rewriting Rules and CCS
– Fabio Gadducci, Ugo Montanari
|
|
1
|
Structural congruences and structural operational semantics
– Mohammadreza Mousavi, Michel Reniers
- 2004
|
|
11
|
Enriched Categories as Models of Computation
– Fabio Gadducci, Ugo Montanari
- 1996
|
|
19
|
Bisimilarity of Open Terms
– Arend Rensink
- 2000
|
|
17
|
Cartesian Closed Double Categories, their Lambda-Notation, and the Pi-Calculus
– Roberto Bruni, Ugo Montanari
- 1999
|
