Mauricio Cano, Camilo Rueda, Hugo A. López, Jorge A. Pérez
Declarative interpretations of session-based concurrency
PPDP, 2015.
@inproceedings{PPDP-2015-CanoRLP, author = "Mauricio Cano and Camilo Rueda and Hugo A. López and Jorge A. Pérez", booktitle = "{Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming}", doi = "10.1145/2790449.2790513", isbn = "978-1-4503-3516-4", pages = "67--78", publisher = "{ACM}", title = "{Declarative interpretations of session-based concurrency}", year = 2015, }