DE NICOLA, ROCCO; MELGRATTI, HERNÁN

MULTIPARTY TESTING PREORDERS

LOGICAL METHODS IN COMPUTER SCIENCE (LMCS); Año: 2023 vol. 19 p. 1 - 31

MELGRATTI, HERNÁN; MEZZINA, CLAUDIO ANTARES; PINNA, G. MICHELE

A Petri net view of covalent bonds

THEORETICAL COMPUTER SCIENCE; Año: 2022 vol. 908 p. 89 - 119

MELGRATTI, HERNAN; MEZZINA, CLAUDIO ANTARES; MICHELE PINNA, G.

A distributed operational view of Reversible Prime Event Structures

Proceedings - Symposium on Logic in Computer Science; Año: 2021 vol. 2021-June

MELGRATTI, HERNÁN; MEZZINA, CLAUDIO ANTARES; PINNA, G. MICHELE

Towards a Truly Concurrent Semantics for Reversible CCS

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2021 vol. 1280

GADDUCCI, FABIO; MELGRATTI, HERNÁN; ROLDÁN, CHRISTIAN; SAMMARTINO, MATTEO

Implementation Correctness for Replicated Data Types, Categorically

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2020 vol. 1254 p. 283 - 303

BOCCHI, LAURA; MELGRATTI, HERNÁN; TUOSTO, EMILIO

On Resolving Non-determinism in Choreographies

LOGICAL METHODS IN COMPUTER SCIENCE (LMCS); Lugar: BRAUNSCHWEIG; Año: 2020 vol. 16 p. 1 - 69

BRUNI, ROBERTO; MELGRATTI, HERNÁN; MONTANARI, UGO

Bayesian network semantics for Petri nets

THEORETICAL COMPUTER SCIENCE; Año: 2020 vol. 807 p. 95 - 113

INVERSO, OMAR; MELGRATTI, HERNÁN; PADOVANI, LUCA; TRUBIANI, CATIA; TUOSTO, EMILIO

Probabilistic analysis of binary sessions

Leibniz International Proceedings in Informatics, LIPIcs; Año: 2020 vol. 171 p. 141 - 1421

FRITTELLI, LEONARDO; MALDONADO, FACUNDO; MELGRATTI, HERNÁN; TUOSTO, EMILIO

A Choreography-Driven Approach to APIs: The OpenDXL Case Study

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2020 vol. 1213 p. 107 - 124

DE'LIGUORO, UGO; MELGRATTI, HERNAN; TUOSTO, EMILIO

Towards refinable choreographies

Electronic Proceedings in Theoretical Computer Science, EPTCS; Año: 2020 vol. 324 p. 61 - 77

MELGRATTI, HERNÁN; MEZZINA, CLAUDIO ANTARES; ULIDOWSKI, AND IREK

Reversing place transition nets

LOGICAL METHODS IN COMPUTER SCIENCE (LMCS); Año: 2020 vol. 16 p. 1 - 28

MELGRATTI, HERNÁN; MEZZINA, CLAUDIO ANTARES; PHILLIPS, IAIN; PINNA, G. MICHELE; ULIDOWSKI, IREK

Reversible Occurrence Nets and Causal Reversible Prime Event Structures

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2020 vol. 1222 p. 35 - 53

GADDUCCI, FABIO; MELGRATTI, HERNÁN; ROLDÁN, CHRISTIAN ; SAMMARTINO, MATTEO

A Categorical Account of Replicated Data Types

Leibniz International Proceedings in Informatics; Año: 2019

BRUNI, ROBERTO; CORRADINI, ANDREA; GADDUCCI, FABIO; MELGRATTI, HERNÁN; MONTANARI, UGO; TUOSTO, EMILIO

Data-driven choreographies à la klaim

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2019 vol. 1166 p. 170 - 190

MELGRATTI, HERNÁN; MEZZINA, CLAUDIO ANTARES; ULIDOWSKI, IREK

Reversing P/T nets

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2019 vol. 1153 p. 19 - 36

BRUNI, ROBERTO; MELGRATTI, HERNÁN; MONTANARI, UGO

Concurrency and Probability: Removing Confusion, Compositionally

LOGICAL METHODS IN COMPUTER SCIENCE (LMCS); Lugar: BRAUNSCHWEIG; Año: 2019

PAOLO BALDAN; ROBERTO BRUNI; ANDREA CORRADINI; FABIO GADDUCCI; HERNÁN MELGRATTI; UGO MONTANARI

Event Structures for Petri nets with Persistence

LOGICAL METHODS IN COMPUTER SCIENCE (LMCS); Lugar: BRAUNSCHWEIG; Año: 2018

FABIO GADDUCCI; HERNÁN MELGRATTI; CHRISTIAN ROLDÁN

On the semantics and implementation of replicated data types

SCIENCE OF COMPUTER PROGRAMMING; Lugar: Amsterdam; Año: 2018

FABIO GADDUCCI; HERNÁN MELGRATTI; CHRISTIAN ROLDÁN

A denotational view of replicated data types

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2017

MELGRATTI, HERNÁN; PADOVANI, LUCA

Chaperone contracts for higher-order sessions

Proceedings of the ACM on Programming Languages; Lugar: NY; Año: 2017 vol. 1 p. 1 - 29

HERNÁN MELGRATTI; CHRISTIAN ROLDÁN

A Formal Analysis of the Global Sequence Protocol.

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2016

ROCCO DE NICOLA; HERNÁN MELGRATTI

Multiparty Testing Preorders

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2016

BOCCHI, LAURA; HERNÁN MELGRATTI

On the behaviour of general-purpose applications on cloud storages

Service Oriented Computing and Applications; Año: 2015 vol. 9 p. 213 - 227

ROBERTO BRUNI; HERNÁN MELGRATTI; UGO MONTANARI

A Normal Form for Stateful Connectors.

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2015

ROBERTO BRUNI; HERNÁN MELGRATTI; UGO MONTANARI

cJoin: Join with communicating transactions

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE; Año: 2015 vol. 25

BOCCHI, LAURA; HERNÁN MELGRATTI; EMILIO TUOSTO

Resolving Non-determinism in Choreographies

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2014

ROBERTO BRUNI; HERNÁN MELGRATTI; UGO MONTANARI

Behaviour, Interaction and Dynamics

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2014

ROBERTO BRUNI; HERNÁN MELGRATTI; UGO MONTANARI

From Hierarchical BIP to Petri Calculus

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2014

BOCCHI, LAURA; HERNÁN MELGRATTI

On the behaviour of general-purpose applications on cloud storages

Service Oriented Computing and Applications; Año: 2014

BOCCHI, LAURA; HERNÁN MELGRATTI

On the Behaviour of General-Purpose Applications on Cloud Storages

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2013

ROBERTO BRUNI; HERNÁN MELGRATTI; UGO MONTANARI

Behaviour, Interaction and Dynamicity

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2013

ROBERTO BRUNI; HERNÁN MELGRATTI; UGO MONTANARI; PAWEL SOBOSCINSKI

Connector algebras for C/E and P/T nets' interactions

LOGICAL METHODS IN COMPUTER SCIENCE (LMCS); Lugar: BRAUNSCHWEIG; Año: 2013 vol. 9 p. 1 - 65

HERNÁN MELGRATTI; CHRISTIAN ROLDÁN

On correlation sets and correlation exceptions in ActiveBPEL

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2012 vol. 7173 p. 212 - 226

ROBERTO BRUNI; HERNÁN MELGRATTI; UGO MONTANARI

A Survey on Basic Connectors and Buffers

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Heidelberg; Año: 2012 vol. 7542 p. 49 - 68

ROBERTO BRUNI; HERNÁN MELGRATTI; UGO MONTANARI

Connector Algebras, Petri Nets, and BIP

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2012 vol. 7162 p. 19 - 38

ROBERTO BRUNI; HERNÁN MELGRATTI; UGO MONTANARI

A Connector Algebra for P/T Nets Interactions

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2011 vol. 6901 p. 312 - 326

ROBERTO BRUNI; HERNÁN MELGRATTI; UGO MONTANARI

cJoin: Join with communicating transactions

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE; Año: 2011

MARIA GRAZIA BUSCEMI; HERNÁN MELGRATTI

Abstract Processes in Orchestration Languages

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin / Heidelberg; Año: 2009 vol. 5502 p. 301 - 315

ROBERTO BRUNI; IVAN LANESE; HERNÁN MELGRATTI; EMILIO TUOSTO

Multiparty Sessions in SOC

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin / Heidelberg; Año: 2008 vol. 5052 p. 67 - 82

IVAN LANESE; HERNÁN MELGRATTI

Synchronous Multiparty Synchronizations and Transactions

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin / Heidelberg; Año: 2008 vol. 5065 p. 76 - 95

MARIA GRAZIA BUSCEMI; HERNÁN MELGRATTI

Transactional Service Level Agreement

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin / Heidelberg; Año: 2007 vol. 4912 p. 124 - 139

ROBERTO BRUNI; HERNÁN MELGRATTI

Non-sequential Behaviour of Dynamic Nets

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin / Heidelberg; Año: 2006 vol. 4024 p. 105 - 124

ROBERTO BRUNI; HERNÁN MELGRATTI; UGO MONTANARI

Event Structure Semantics for Nominal Calculi

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin / Heidelberg; Año: 2006 vol. 4137 p. 295 - 309

DAVIDE BACCIU; ALESSIO BOTTA; HERNÁN MELGRATTI

A Fuzzy Approach for Negotiating Quality of Services

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin / Heidelberg; Año: 2006 vol. 4661 p. 200 - 217

ROBERTO BRUNI; HERNÁN MELGRATTI

Dynamic Graph Transformation Systems

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin / Heidelberg; Año: 2006 vol. 4178 p. 230 - 244

ROBERTO BRUNI; HERNÁN MELGRATTI; EMILIO TUOSTO

Translating Orc Features into Petri Nets and the Join Calculus

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin / Heidelberg; Año: 2006 vol. 4184 p. 123 - 137

ROBERTO BRUNI; GIANLUIGI FERRARI; HERNÁN MELGRATTI; UGO MONTANARI; DANIELE STROLLO; EMILIO TUOSTO

From Theory to Practice in Transactional Composition of Web Services

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin / Heidelberg; Año: 2005 vol. 3670 p. 272 - 286

ROBERTO BRUNI; MICHAEL BUTLER; CARLA FERREIRA; TONY HOARE; HERNÁN MELGRATTI; UGO MONTANARI

Comparing Two Approaches to Compensable Flow Composition

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin / Heidelberg; Año: 2005 vol. 3653 p. 383 - 397