1 citations · 2 across the 3 of their papers we have counts for
5 papers
Towards Refinable Choreographies
Ugo de'Liguoro, Hernán Melgratti, Emilio Tuosto
We investigate refinement in the context of choreographies. We introduce refinable global choreographies allowing for the underspecification of protocols, whose interactions can be…
Probabilistic Analysis of Binary Sessions
Omar Inverso, Hernán Melgratti, Luca Padovani +2
We study a probabilistic variant of binary session types that relate to a class of Finite-State Markov Chains. The probability annotations in session types enable the reasoning on…
Reversible Causal Nets and Reversible Event Structures
Hernán Melgratti, Claudio Antares Mezzina, Iain Phillips +2
One of the well-known results in concurrency theory concerns the relationship between event structures and occurrence nets: an occurrence net can be associated with a prime event s…
Unifying Inference for Bayesian and Petri Nets
Roberto Bruni, Hernán Melgratti, Ugo Montanari
Recent work by the authors equips Petri occurrence nets (PN) with probability distributions which fully replace nondeterminism. To avoid the so-called confusion problem, the constr…
Contracts for Abstract Processes in Service Composition
Maria Grazia Buscemi, Hernán Melgratti
Contracts are a well-established approach for describing and analyzing behavioral aspects of web service compositions. The theory of contracts comes equipped with a notion of compa…