Minimal Session Types (Extended Version)

Alen Arslanagić, Jorge A. Pérez, Erik Voogd

Session types are a type-based approach to the verification of message-passing programs. They have been much studied as type systems for the pi-calculus and for languages such as J…