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

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)

Preview

PDF - Submitted Version Download (995kB) | Preview

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.

Item Type:	Conference or Workshop Item (Paper)
Identification Number:	doi>10.1145/3131851.3131864
Subjects:	Q Science > QA Mathematics > QA76 Computer software
Research Area:	Computer Science and Applications
Depositing User:	Claudio Antares Mezzina
Date Deposited:	29 Nov 2017 13:25
Last Modified:	29 Nov 2017 13:25
URI:	http://eprints.imtlucca.it/id/eprint/3841

Actions (login required)

Edit Item