25 citations · 59 across the 17 of their papers we have counts for
1 paper · 1 filter
Ornela Dardha
Session types model structured communication-based programming. In particular, binary session types for the pi-calculus describe communication between exactly two participants in a…