"A Typeful Characterization of Multiparty Structured Conversations Based on ..."

Luís Caires, Jorge A. Pérez (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics