1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
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…