"Duality of Session Types: The Final Cut."

Simon J. Gay, Peter Thiemann, Vasco T. Vasconcelos (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics