6 results
Roberto Bruni ; Hernan Melgratti ; Ugo Montanari ; Pawel Sobocinski.
A quite flourishing research thread in the recent literature on component-based systems is concerned with the algebraic properties of different classes of connectors. In a recent paper, an algebra of stateless connectors was presented that consists of five kinds of basic connectors, namely symmetry, […]
Published on September 17, 2013
Laura Bocchi ; Hernan Melgratti ; Emilio Tuosto.
Choreographies specify multiparty interactions via message passing. A realisation of a choreography is a composition of independent processes that behave as specified by the choreography. Existing relations of correctness/completeness between choreographies and realisations are based on models where […]
Published on September 24, 2020
Paolo Baldan ; Roberto Bruni ; Andrea Corradini ; Fabio Gadducci ; Hernan Melgratti ; Ugo Montanari.
Event structures are a well-accepted model of concurrency. In a seminal paper by Nielsen, Plotkin and Winskel, they are used to establish a bridge between the theory of domains and the approach to concurrency proposed by Petri. A basic role is played by an unfolding construction that maps (safe) […]
Published on September 28, 2018
Hernán Melgratti ; Claudio Antares Mezzina ; Irek Ulidowski.
Petri nets are a well-known model of concurrency and provide an ideal setting for the study of fundamental aspects in concurrent systems. Despite their simplicity, they still lack a satisfactory causally reversible semantics. We develop such semantics for Place/Transitions Petri nets (P/T nets) […]
Published on October 16, 2020
Roberto Bruni ; Hernán Melgratti ; Ugo Montanari.
Assigning a satisfactory truly concurrent semantics to Petri nets with confusion and distributed decisions is a long standing problem, especially if one wants to resolve decisions by drawing from some probability distribution. Here we propose a general solution based on a recursive, static […]
Published on December 19, 2019
Rocco de Nicola ; Hernán Melgratti.
Variants of the must testing approach have been successfully applied in service oriented computing for analysing the compliance between (contracts exposed by) clients and servers or, more generally, between two peers. It has however been argued that multiparty scenarios call for more permissive […]
Published on January 5, 2023