Jorge A. P?Rez
AuthID: R-00H-3P0
1
TITLE: A Typeful Characterization of Multiparty Structured Conversations Based on Binary Sessions PDF
AUTHORS: Luís Caires ; Jorge A. Pérez;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1407.4242
AUTHORS: Luís Caires ; Jorge A. Pérez;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1407.4242
INDEXED IN: DBLP arXiv