Session Types with Runtime Adaptation: Overview and Examples

Cinzia Di Giusto, Jorge A. Pérez

In recent work, we have developed a session types discipline for a calculus that features the usual constructs for session establishment and communication, but also two novel const…