Search

• < Previous
• 1
• Next >

---

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

---

Dynamic Choreographies: Theory And Implementation

Mila Dalla Preda ; Maurizio Gabbrielli ; Saverio Giallorenzo ; Ivan Lanese ; Jacopo Mauro.

Programming distributed applications free from communication deadlocks and race conditions is complex. Preserving these properties when applications are updated at runtime is even harder. We present a choreographic approach for programming updatable, distributed applications. We define a&nbsp;[&hellip;]

---

A Theory of Formal Choreographic Languages

Franco Barbanera ; Ivan Lanese ; Emilio Tuosto.

We introduce a meta-model based on formal languages, dubbed formal choreographic languages, to study message-passing systems. Our framework allows us to generalise standard constructions from the literature and to compare them. In particular, we consider notions such as global view, local view, and&nbsp;[&hellip;]

---