Searching for authors named "Ugo Montanari" – sorted by Relevance.
110 documents found, showing 1 through 10.
Next 10 →
-
A coalgebraic theory of reactive systems
- … of Reactive Systems Filippo Bonchi, Ugo Montanari November 9, 1999 ADDRESS: via F. Buonarroti 2, 56127 Pisa…
- Cited by 1 (1 self) – Add To MetaCart
-
Synchronizations with Mobility for Graph Transformations ⋆
- …Synchronizations with Mobility for Graph Transformations ⋆ Ivan Lanese and Ugo Montanari Computer…
- Add To MetaCart
-
Insights emerged while comparing three models for
- …Insights emerged while comparing three models for global computing Ivan Lanese and Ugo Montanari…
- Add To MetaCart
-
The Tile Model - Errata to draft available on the net
- …Errata to The Tile Model draft available on the net Fabio Gadducci and Ugo Montanari 1 Universit…
- Add To MetaCart
-
Foundations of Constraint Programming Approaches: Concurrent Semantics for Concurrent Constraint Programs
- … Constraint Programs Francesca Rossi and Ugo Montanari University of Pisa Computer Science Department Corso…
- Add To MetaCart
-
Quantitative μ-calculus and CTL defined over constraint semirings
- …-Lafuente and Ugo Montanari Dipartimento di Informatica Università di Pisa Model checking and temporal logics…
- Add To MetaCart
-
First Order and Higher Order Tile Models for Open and Mobile Systems
- …First order and higher order tile models for open and mobile systems Roberto Bruni and Ugo…
- Cited by 1 (0 self) – Add To MetaCart
-
Cartesian Closed Double Categories, their Lambda-Notation, and the Pi-Calculus
- … and Ugo Montanari Computer Science Department University of Pisa Corso Italia 40, I-56125 Pisa, ITALY…
- Cited by 14 (10 self) – Add To MetaCart
-
A Concurrent Semantics for Concurrent Constraint Programs via Contextual Nets
- …A Concurrent Semantics for Concurrent Constraint Programs via Contextual Nets Ugo Montanari…
- Cited by 25 (1 self) – Add To MetaCart
-
Observational Equivalence for Synchronized Graph Rewriting with Mobility
- …Observational Equivalence for Synchronized Graph Rewriting with Mobility ? Barbara Konig and Ugo…
- Cited by 9 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
