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

---

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

---