Search

• < Previous
• 1
• Next >

---

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;]

---

A model of actors and grey failures

Laura Bocchi ; Julien Lange ; Simon Thompson ; A. Laura Voinea.

Existing models for the analysis of concurrent processes tend to focus on fail-stop failures, where processes are either working or permanently stopped, and their state (working/stopped) is known. In fact, systems are often affected by grey failures: failures that are latent, possibly transient, and&nbsp;[&hellip;]

---

revTPL: The Reversible Temporal Process Language

Laura Bocchi ; Ivan Lanese ; Claudio Antares Mezzina ; Shoji Yuen.

Reversible debuggers help programmers to find the causes of misbehaviours in concurrent programs more quickly, by executing a program backwards from the point where a misbehaviour was observed, and looking for the bug(s) that caused it. Reversible debuggers can be founded on the well-studied theory&nbsp;[&hellip;]

---