3 citations · 6 across the 3 of their papers we have counts for
1 paper · 1 filter
Hannes Saffrich, Peter Thiemann
Session types provide a principled approach to typed communication protocols that guarantee type safety and protocol fidelity. Formalizations of session-typed communication are typ…