Minimal Session Types for the $\pi$-calculus (Extended Version)

Alen Arslanagic, Jorge A. Pérez, Anda-Amelia Palamariuc

Session types are a discipline for the static verification of message-passing programs. A session type specifies a channel's protocol as sequences of exchanges. It is most relevant…