102 citations · 226 across the 18 of their papers we have counts for
1 paper · 1 filter
Luca Padovani
We (re)define session types as projections of process behaviors with respect to the communication channels they use. In this setting, we give session types a semantics based on fai…