Items where Author is "Montanari, Ugo"

Book

Montanari, Ugo and Sammartino, Matteo (2012) Network Conscious pi-calculus. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Buscemi, Maria Grazia and Coppo, Mario and Dezani-Ciancaglini, Mariangiola and Montanari, Ugo (2011) Constraints for Service Contracts. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ciancia, Vincenzo and Kurz, Alexander and Montanari, Ugo (2009) Minimal support and families for the semantics of calculi with structured resources. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bonchi, Filippo and Montanari, Ugo (2008) Minimization Algorithm for Symbolic Bisimilarity. 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.

Bonchi, Filippo and Montanari, Ugo (2006) A Coalgebraic Theory of Reactive Systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Buscemi, Marzia and Montanari, Ugo (2005) A Compositional Coalgebraic Model of Monadic Fusion Calculus. 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.

Montanari, Ugo and Tuosto, Emilio (2004) A Logical Framework for the spi-calculus. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Buscemi, Marzia and Montanari, Ugo (2002) Pi-Calculus Early Observational Equivalence: A First Order Coalgebraic Model. 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.

Corradini, Andrea and Heckel, Reiko and Montanari, Ugo (2001) Compositional SOS and Beyond: A Coalgebraic View of Open Systems. 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.

Baldan, Paolo and Corradini, Andrea and Montanari, Ugo (1999) Contextual Petri nets, Asymmetric Event Structures and Processes. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Montanari, Ugo and Pistore, Marco (1998) History-Dependent Automata. 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.

Gadducci, Fabio and Montanari, Ugo (1996) The Tile Model. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Corradini, Andrea and Montanari, Ugo and Rossi, Francesca and Ehrig, H. and Heckel, Reiko and Loewe, M. (1996) Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.