Mauricio Cano

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 3

Top Topics

Nested Transactions

Declarative Knowledge

Concurrency Control

Top Venues

Acta Informatica

Publications

Mauricio Cano, Hugo A. López, Jorge A. Pérez, Camilo Rueda
Session-based concurrency, declaratively. Acta Informatica 59 (1) (2022)
Mauricio Cano, Jaime Arias, Jorge A. Pérez
Session-Based Concurrency, Reactively. FORTE (2017)
Jaime Arias, Mauricio Cano, Jorge Andrés Pérez
Towards A Practical Model of Reactive Communication-Centric Software. ICTCS (2016)
Mauricio Cano, Camilo Rueda, Hugo A. López, Jorge A. Pérez
Declarative interpretations of session-based concurrency. PPDP (2015)