Causally consistent reversible choreographies: A monitors-as-memories approach

Claudio Antares Mezzina, Jorge A. Perez

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

11 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the 19th International Symposium on Principles and Practice of Declarative Programming (PPDP 2017)
PublisherACM Press Digital Library
Pages127-138
ISBN (Electronic) 978-1-4503-5291-8
DOIs
Publication statusPublished - 2017
Event19th International Symposium on Principles and Practice of Declarative Programming -
Duration: 9-Oct-201711-Oct-2017

Conference

Conference19th International Symposium on Principles and Practice of Declarative Programming
Period09/10/201711/10/2017

Cite this