1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2021★ 1 cited
Minimal Session Types for the -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…
cs.LO2019
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…