eprintid: 3841
rev_number: 8
eprint_status: archive
userid: 67
dir: disk0/00/00/38/41
datestamp: 2017-11-29 13:25:40
lastmod: 2017-11-29 13:25:40
status_changed: 2017-11-29 13:25:40
type: conference_item
metadata_visibility: show
creators_name: Mezzina, Claudio Antares
creators_name: Pérez, Jorge A.
creators_id: claudio.mezzina@imtlucca.it
creators_id: 
title: Causally consistent reversible choreographies: a monitors-as-memories approach
ispublished: pub
subjects: QA76
divisions: CSA
full_text_status: public
pres_type: paper
abstract: Under a reversible semantics, computation steps can be undone. This paper addresses the integration of reversible semantics into a process model of multiparty protocols (choreographies). Building upon the monitors-as-memories approach that we developed in prior work for reversible binary protocols, we present a reversible process framework for multiparty communication, which improves on prior models by seamlessly integrating asynchrony, decoupled rollbacks, and process passing. As main technical result, we prove that our multiparty, reversible semantics is causally-consistent.
date: 2017
date_type: published
publisher: ACM
pagerange: 127-138
event_title: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017
event_location: Namur, Belgium
event_dates: October 9-12 2017
event_type: conference
id_number: doi>10.1145/3131851.3131864
refereed: TRUE
isbn: 978-1-4503-5291-8
book_title: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming
official_url: http://dl.acm.org/citation.cfm?id=3131851
citation:   Mezzina, Claudio Antares and Pérez, Jorge A.  Causally consistent reversible choreographies: a monitors-as-memories approach.  In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, October 9-12 2017, Namur, Belgium pp. 127-138.  ISBN 978-1-4503-5291-8.      (2017)  
document_url: http://eprints.imtlucca.it/3841/1/mezzina-20.pdf