Search

• < Previous
• 1
• Next >

---

Axiomatizing Maximal Progress and Discrete Time

Mario Bravetti.

Milner's complete proof system for observational congruence is crucially based on the possibility to equate $\tau$ divergent expressions to non-divergent ones by means of the axiom $recX. (\tau.X + E) = recX. \tau. E$. In the presence of a notion of priority, where, e.g., actions of type $\delta$&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;]

---

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

---