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