Search

• < Previous
• 1
• Next >

---

Adaptable processes

Mario Bravetti ; Cinzia Di Giusto ; Jorge A Perez ; Gianluigi Zavattaro.

We propose the concept of adaptable processes as a way of overcoming the limitations that process calculi have for describing patterns of dynamic process evolution. Such patterns rely on direct ways of controlling the behavior and location of running processes, and so they are at the heart of the&nbsp;[&hellip;]

---

Causal Consistency for Reversible Multiparty Protocols

Claudio Antares Mezzina ; Jorge A. Pérez.

In programming models with a reversible semantics, computational steps can be undone. This paper addresses the integration of reversible semantics into process languages for communication-centric systems equipped with behavioral types. In prior work, we introduced a monitors-as-memories approach to&nbsp;[&hellip;]

---

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

Joseph W. N. Paulus ; Daniele Nantes-Sobrinho ; Jorge A. Pérez.

We study encodings of the lambda-calculus into the pi-calculus in the unexplored case of calculi with non-determinism and failures. On the sequential side, we consider lambdafail, a new non-deterministic calculus in which intersection types control resources (terms); on the concurrent side, we&nbsp;[&hellip;]

---