Comprehensive Multiparty Session Types

Publication
Art, Science, and Engineering of Programming