Comprehensive Multiparty Session Types

Type
Publication
Art, Science, and Engineering of Programming