relation: http://eprints.imtlucca.it/3841/
title: Causally consistent reversible choreographies: a monitors-as-memories approach
creator: Mezzina, Claudio Antares
creator: Pérez, Jorge A.
subject: QA76 Computer software
description: 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.
publisher: ACM
date: 2017
type: Conference or Workshop Item
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/3841/1/mezzina-20.pdf
identifier:   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)  
relation: http://dl.acm.org/citation.cfm?id=3131851
relation: doi>10.1145/3131851.3131864