Jorge A. P?Rez


AuthID: R-00H-3P0

Publications Requiring Validation

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
INDEXED IN: DBLP arXiv

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service