Publications

    1. Declarative Interpretations of Session-Based Concurrency (with J. Pérez, H. Lopez, and C. Rueda) , PPDP'15  ACM Press. [DOI] [DRAFT] [LONG VERSION]
    2. Towards a Practical Model of Reactive Communication-Centric Software (with J. Arias and J. Pérez), ICTCS'16 CEUR Workshop Proceedings [CEUR] [DRAFT]
    3. A Reactive Interpretation of Session-Based Concurrency  (with J. Arias and J. Pérez), REBLS'16 Ongoing Work Report [DRAFT]
    4. Session-Based Concurrency, Reactively (with J. Arias and J. Pérez), FORTE'17 Springer LNCS. [Draft To Appear]