Declarative interpretations of session-based concurrency. - Mauricio Cano; Camilo Rueda; Hugo A. López 001; Jorge A. Pérez 001 (PPDP, 2015)

Towards A Practical Model of Reactive Communication-Centric Software. - Jaime Arias 001; Mauricio Cano; Jorge Andrés Pérez (ICTCS, 2016)

Session-Based Concurrency, Reactively. - Mauricio Cano; Jaime Arias 001; Jorge A. Pérez 001 (FORTE, 2017)

Session-based concurrency, declaratively. - Mauricio Cano; Hugo A. López 001; Jorge A. Pérez 001; Camilo Rueda (Acta Informatica, 2022)