11 citations · 13 across the 3 of their papers we have counts for
1 paper · 2 filters
Dimitris Mostrous, Vasco T. Vasconcelos
Session types describe the structure of communications implemented by channels. In particular, they prescribe the sequence of communications, whether they are input or output actio…