Declarative interpretations of session-based concurrency

Mauricio Cano; Camilo Rueda; Hugo A. López; Jorge A. Pérez

doi:10.1145/2790449.2790513

Declarative interpretations of session-based concurrency

Mauricio Cano, Camilo Rueda, Hugo A. López, Jorge A. Pérez

Fundamental Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

3 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, July 14-16, 2015
Place of Publication	Siena, Italy
Publisher	ACM Press Digital Library
Pages	67-78
Number of pages	12
DOIs	https://doi.org/10.1145/2790449.2790513
Publication status	Published - 2015

Access to Document

10.1145/2790449.2790513

http://doi.acm.org/10.1145/2790449.2790513

Cite this

@inproceedings{0eb84238aa884a68b39b839471f39cc7,

title = "Declarative interpretations of session-based concurrency",

author = "Mauricio Cano and Camilo Rueda and L{\'o}pez, {Hugo A.} and P{\'e}rez, {Jorge A.}",

year = "2015",

doi = "10.1145/2790449.2790513",

language = "English",

pages = "67--78",

booktitle = "Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, July 14-16, 2015",

publisher = "ACM Press Digital Library",

}

Declarative interpretations of session-based concurrency. / Cano, Mauricio; Rueda, Camilo; López, Hugo A.; Pérez, Jorge A.

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, July 14-16, 2015. Siena, Italy : ACM Press Digital Library, 2015. p. 67-78.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Declarative interpretations of session-based concurrency

AU - Cano, Mauricio

AU - Rueda, Camilo

AU - López, Hugo A.

AU - Pérez, Jorge A.

PY - 2015

Y1 - 2015

U2 - 10.1145/2790449.2790513

DO - 10.1145/2790449.2790513

M3 - Conference contribution

SP - 67

EP - 78

BT - Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, July 14-16, 2015

PB - ACM Press Digital Library

CY - Siena, Italy

ER -