51 citations · 191 across the 20 of their papers we have counts for
1 paper · 2 filters
Simon J. Gay, Nils Gesbert, António Ravara +1
Session types allow communication protocols to be specified type-theoretically so that protocol implementations can be verified by static type checking. We extend previous work on…