ROBERTO BRUNI; HERNÁN MELGRATTI; UGO MONTANARI

Concurrency and Probability: Removing Confusion, Compositionally.

Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Lugar: Oxford; Año: 2018;

MARIA GRAZIA BUSCEMI; HERNÁN MELGRATTI

Contracts for Abstract Processes in Service Composition

Foundations for Interface Technologies

Lugar: Paris; Año: 2010;

MARIA GRAZIA BUSCEMI; HERNÁN MELGRATTI

Controllability and Abstraction in Business Processes

Fourth Workshop on Formal Languages and Analysis of Contract-Oriented Software

Lugar: Pisa; Año: 2010;

ROBERTO BRUNI; IVAN LANESE; LEONARDO MEZZINA; HERNAN MELGRATTI; EMILIO TUOSTO

Trustworthy Multiparty Sessions

Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2008

Lugar: Oslo, Noruega; Año: 2008;

ROBERTO BRUNI; ANTONIO BUCCHIARONE; STEFANIA GNESI; HERNÁN MELGRATTI

Modelling Dynamic Software Architectures using Typed Graph Grammars

Third Workshop on Graph Transformation for Concurrency and Verification (GT-VC 2007)

Lugar: Lisbon, Portugal; Año: 2007;

ROBERTO BRUNI; HERNÁN MELGRATTI; UGO MONTANARI

Event Structure Semantics for Dynamic Graph Grammars

Workshop on Petri Nets and Graph Transformation (PNGT2006)

Lugar: Natal, Brazil; Año: 2006;

ROBERTO BRUNI; HERNÁN MELGRATTI; UGO MONTANARI

Theoretical foundations for compensations in flow composition languages

Symposium on Principles of Programming Languages, POPL 2005

Año: 2005;

ROBERTO BRUNI; HERNÁN MELGRATTI; UGO MONTANARI

Nested Commits for Mobile Calculi: Extending Join

IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004),

Año: 2004;

ALBERTO BARAGATTI; ROBERTO BRUNI; HERN[AN MELGRATTI; UGO MONTANARI; GIORGIO SPAGNOLO

Prototype Platforms for Distributed Agreements

Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2004)

Año: 2004;

ROBERTO BRUNI; HERNÁN MELGRATTI; UGO MONTANARI

Flat Committed Join in Join

Proceedings of the Workshop of the COMETA Project on Computational Metamodels

Año: 2003;