Search

• < Previous
• 1
• Next >

---

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

---

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

---

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

---