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

---

Decidability Problems for Actor Systems

Frank De Boer ; Mahdi Jaghoori ; Cosimo Laneve ; Gianluigi Zavattaro.

We introduce a nominal actor-based language and study its expressive power. We have identified the presence/absence of fields as a crucial feature: the dynamic creation of names in combination with fields gives rise to Turing completeness. On the other hand, restricting to stateless actors gives&nbsp;[&hellip;]

---

A Sound Algorithm for Asynchronous Session Subtyping and its Implementation

Mario Bravetti ; Marco Carbone ; Julien Lange ; Nobuko Yoshida ; Gianluigi Zavattaro.

Session types, types for structuring communication between endpoints in distributed systems, are recently being integrated into mainstream programming languages. In practice, a very important notion for dealing with such types is that of subtyping, since it allows for typing larger classes of&nbsp;[&hellip;]

---

Fair Asynchronous Session Subtyping

Mario Bravetti ; Julien Lange ; Gianluigi Zavattaro.

Session types are widely used as abstractions of asynchronous message passing systems. Refinement for such abstractions is crucial as it allows improvements of a given component without compromising its compatibility with the rest of the system. In the context of session types, the most general&nbsp;[&hellip;]

---