Montanari, U.

• Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo:
  Event Structure Semantics for Nominal Calculi. 2006.

• Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo:
  Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets. 2004.

• Baldan, Paolo; Bruni, Roberto; Montanari, Ugo:
  Pre-nets, Read Arcs and Unfolding: A Functorial Presentation. 2003.

• Baldan, Paolo; Corradini, Andrea; Montanari, Ugo:
  Bisimulation Equivalences for Graph Grammars. 2002.

• Bruni, Roberto; Montanari, Ugo:
  Transactions and Zero-Safe Nets. 2001.

• Baldan, Paolo; Corradini, Andrea; Montanari, Ugo:
  Contextual Petri Nets, Asymmetric Event Structures, and Processes. 2001.

• Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro:
  Functorial Models for Petri Nets. 2001.

• Bruni, Roberto; Montanari, Ugo:
  Executing Transactions in Zero-Safe Nets. 2000.

• Bruni, R.; Meseguer, J.; Montanari, U.; Sassone, V.:
  Functorial Semantics for Petri Nets under the Individual Token Philosophy. 1999.

• Bruni, R.; Montanari, U.:
  Zero-Safe Nets: Composing Nets via Transition Synchronization. 1999.

• Baldan, Paolo; Corradini, Andrea; Montanari, Ugo:
  History Preserving Bisimulation for Contextual Nets. 1999.

• Bruni, R.; Meseguer, J.; Montanari, U.; Sassone, V.:
  A Comparison of Petri Net Semantics under the Collective Token Philosophy. 1998.

• Baldan, P.; Corradini, A.; Montanari, U.:
  An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures. 1998.

• Bruni, R.; Montanari, U.:
  Zero-Safe Nets, or Transition Synchronization Made Simple. 1997.

• Bruni, R.; Montanari, U.:
  Zero-safe nets: the individual token approach. 1997.

• Meseguer, J.; Montanari, U.; Sassone, V.:
  Representation theorems for Petri nets. 1997.

• Montanari, Ugo; Pistore, M.:
  Minimal Transition Systems for History-Preserving Bisimulation. 1997.

• Meseguer, José; Montanari, Ugo; Sassone, Vladimiro:
  Process versus Unfolding Semantics for Place/Transition Petri Nets. 1996.

• Degano, P.; Meseguer, J.; Montanari, Ugo:
  Axiomatizing the Algebra of Net Computations and Processes. 1996.

• Corradini, A.; Montanari, Ugo:
  Specification of Concurrent Systems: from Petri Nets to Graph Grammars. 1995.

• Gorrieri, R.; Montanari, Ugo:
  On the Implementation of Concurrent Calculi into Net Calculi: Two Case Studies. 1995.

• Montanari, Ugo; Rossi, F.:
  Contextual Nets. 1995.

• De Francesco, N.; Montanari, U.; Ristori, G.:
  Modeling Concurrent Accesses to Shared Data via Petri Nets. 1994.

• Meseguer, Josú; Montanari, Ugo:
  On the Model of computation of Place/Transition Petri Nets. 1994.

• Montanari, Ugo; Rossi, F.:
  Contextual Occurrence Nets and Concurrent Constraint Programming. 1994.

• Montanari, Ugo; Yankelevich, Daniel:
  Combining CCS and Petri Nets Via Structural Axioms. 1994.

• De Francesco, N.; Montanari, U.; Yankelevich, D.:
  Axiomatizing CCS, Nets and Processes. 1993.

• Meseguer, J.; Montanari, Ugo; Sassone, V.:
  On the Semantics of Petri Nets. 1992.

• Montanari, Ugo; Yankelevich, Daniel:
  A Parametric Approach to Localities. 1992.

• Degano, Pierpaolo; Meseguer, José; Montanari, Ugo:
  Axiomatizing the Algebra of Net Computations and Processes. 1991.

• Gorrieri, Roberto; Montanari, Ugo:
  Distributed Implementation of CCS. 1991.

• Corradini, A.; Ferrari, G.L.; Montanari, U.:
  Transition Systems with Algebraic Structure as Models of Computations. 1990.

• Gorrieri, Roberto; Montanari, Ugo:
  SCONE: A Simple Calculus of Nets. 1990.

• Montanari, Ugo:
  CEDISYS: Compositional Distributed Systems (State of the Art, Research Goals, References). 1990.

• Degano, P.; de Nicola, R.; Montanari, U.:
  Partial Orderings Descriptions and Observations of Nondeterministic Concurrent Processes. 1989.

• Degano, P.; Meseguer, J.; Montanari, U.:
  Axiomatizing Net Computations and Processes. 1989.

• Montanari, Ugo; Yankelevich, Daniel N.:
  An Algebraic View of Interleaving and Distributed Operational Semantics. 1989.

• Meseguer, J.; Montanari, U.:
  Petri Nets are Monoids: a New Algebraic Foundation for Net Theory. 1988.

• Meseguer, Jose; Montanari, Ugo:
  Petri Nets are Monoids. 1988.

• Degano, P.; Montanari, U.:
  Concurrent Histories: A Basis for Observing Distributed Systems. 1987.

• Degano, P.; de Nicola, R.; Montanari, U.:
  A Distributed Operational Semantics for CCS Based on Condition/Event Systems. 1987.

• Degano, P.; de Nicola, R.; Montanari, U.:
  CCS is an (Augmented) Contact Free C/E-System. 1986.

• Degano, P.; Montanari, U.:
  Concurrent Histories. A Basis for Observing Distributed Systems. 1985.

• Degano, P.; de Nicola, R.; Montanari, U.:
  Partial Ordering Derivations for CCS. 1985.

• Degano, P.; Montanari, U.:
  Specification Languages for Distributed Systems. 1985.

• Castellani, I.; Franceschi, P.; Montanari, U.:
  Labeled Event Structures: A Model for Observable Concurrency. 1983.

Back to the Petri Nets Bibliography