Searching for authors named "Roberto Bruni" – sorted by Relevance.
-
One More Example
- for Distributed Negotiations The 2PC in an Extended Pi-Calculus Towards the End Roberto Bruni Dipartimento di
- Add To MetaCart
-
Centralized encoding
- for Distributed Negotiations Distributed 2PC Roberto Bruni Dipartimento di Informatica Università di Pisa
- Add To MetaCart
-
Distributed Agreements
- for Distributed Negotiations Committed Join Calculus Our Focus Roberto Bruni Dipartimento di Informatica
- Add To MetaCart
-
Theoretical foundations for compensations in flow composition languages
- Theoretical Foundations for Compensations in Flow Composition Languages ABSTRACT Roberto Bruni
- Cited by 37 (5 self) – 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
- Cartesian Closed Double Categories, their Lambda-Notation, and the Pi-Calculus Roberto Bruni
- Cited by 14 (10 self) – Add To MetaCart
-
Some Algebraic Laws for Spans (and Their Connections With Multi-Relations)
- Some algebraic laws for spans (and their connections with multi-relations) 1 Roberto Bruni
- Cited by 6 (3 self) – Add To MetaCart
-
Transactions and Zero-Safe Nets
- Transactions and Zero-Safe Nets Roberto Bruni and Ugo Montanari Dipartimento di Informatica
- Cited by 12 (8 self) – Add To MetaCart
-
Dynamic Graph Transformation Systems
- Dynamic Graph Transformation Systems ⋆ Roberto Bruni 1 and Hernán Melgratti 2 1 Computer Science
- Cited by 3 (2 self) – Add To MetaCart
-
Algebraic Models for Contextual Nets
- Algebraic Models for Contextual Nets Roberto Bruni 1 and Vladimiro Sassone 2 1 Dipartimento di
- Cited by 8 (4 self) – Add To MetaCart

