Searching for authors named "Roberto Bruni" – sorted by Relevance.
59 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
