6 citations · 11 across the 5 of their papers we have counts for
1 paper · 1 filter
Minas Charalambides, Peter Dinges, Gul Agha
Session types have been proposed as a means of statically verifying implementations of communication protocols. Although prior work has been successful in verifying some classes of…