Items where Author is "Bruni, Roberto"

Book

Bruni, Roberto and Mezzina, Leonardo Gaetano (2008) Types and deadlock free sessions for SCC. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bruni, Roberto and Lluch Lafuente, Alberto and Montanari, Ugo and Tuosto, Emilio (2007) Style-Based Architectural Reconfigurations. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Baldan, Paolo and Bracciali, Andrea and Bruni, Roberto (2007) A Semantic Framework for Open Processes. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bruni, Roberto and Montanari, Ugo and Lanese, Ivan (2005) Normal Forms for Stateless Connectors. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Baragatti, Alberto and Bruni, Roberto and Melgratti, Hernan and Montanari, Ugo (2004) A prototype implementation of distributed agreements. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Baldan, Paolo and Bracciali, Andrea and Bruni, Roberto (2003) Symbolic Equivalences for Open Systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bruni, Roberto and Laneve, C. and Montanari, Ugo (2002) Centralized and distributed orchestration of transactions in the join calculus. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bruni, Roberto and Meseguer, J. and Montanari, Ugo and Sassone, Vladimiro (2002) Functorial models for contextual pre-nets. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bruni, Roberto and de Frutos-Escrig, D. and Marti-Oliet, N. and Montanari, Ugo (2000) Tile Bisimilarity Congruences for Open Terms and Term Graphs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bruni, Roberto and Meseguer, J. and Montanari, Ugo (1998) Process and Term Tile Logic. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.