Search

• < Previous
• 1
• Next >

---

Reversing Place Transition Nets

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)&nbsp;[&hellip;]

---

On Resolving Non-determinism in Choreographies

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&nbsp;[&hellip;]

---

Multiparty testing preorders

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&nbsp;[&hellip;]

---