Reversible multiparty sessions with checkpoints

Mariangiola Dezani-Ciancaglini; Paola Giannini

doi:10.4204/EPTCS.222.5

Reversible multiparty sessions with checkpoints

Mariangiola Dezani-Ciancaglini
, Paola Giannini

Department of Sustainable Development and Ecological Transition

Research output: Contribution to journal › Conference article › peer-review

Abstract

Reversible interactions model different scenarios, like biochemical systems and human as well as automatic negotiations. We abstract interactions via multiparty sessions enriched with named checkpoints. Computations can either go forward or roll back to some checkpoints, where possibly different choices may be taken. In this way communications can be undone and different conversations may be tried. Interactions are typed with global types, which control also rollbacks. Typeability of session participants in agreement with global types ensures session fidelity and progress of reversible communications.

Original language	English
Pages (from-to)	60-74
Number of pages	15
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	222
DOIs	https://doi.org/10.4204/EPTCS.222.5
Publication status	Published - 9 Aug 2016
Event	23rd Combined International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, EXPRESS/SOS 2016 - Quebec City, Canada Duration: 22 Aug 2016 → …

Access to Document

10.4204/EPTCS.222.5

Cite this

@article{9c99f10208ab4067bb5fbced303ae5cd,

title = "Reversible multiparty sessions with checkpoints",

abstract = "Reversible interactions model different scenarios, like biochemical systems and human as well as automatic negotiations. We abstract interactions via multiparty sessions enriched with named checkpoints. Computations can either go forward or roll back to some checkpoints, where possibly different choices may be taken. In this way communications can be undone and different conversations may be tried. Interactions are typed with global types, which control also rollbacks. Typeability of session participants in agreement with global types ensures session fidelity and progress of reversible communications.",

author = "Mariangiola Dezani-Ciancaglini and Paola Giannini",

note = "Publisher Copyright: {\textcopyright} 2016, Open Publishing Association. All rights reserved.; 23rd Combined International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, EXPRESS/SOS 2016 ; Conference date: 22-08-2016",

year = "2016",

month = aug,

day = "9",

doi = "10.4204/EPTCS.222.5",

language = "English",

volume = "222",

pages = "60--74",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

TY - JOUR

T1 - Reversible multiparty sessions with checkpoints

AU - Dezani-Ciancaglini, Mariangiola

AU - Giannini, Paola

PY - 2016/8/9

Y1 - 2016/8/9

N2 - Reversible interactions model different scenarios, like biochemical systems and human as well as automatic negotiations. We abstract interactions via multiparty sessions enriched with named checkpoints. Computations can either go forward or roll back to some checkpoints, where possibly different choices may be taken. In this way communications can be undone and different conversations may be tried. Interactions are typed with global types, which control also rollbacks. Typeability of session participants in agreement with global types ensures session fidelity and progress of reversible communications.

AB - Reversible interactions model different scenarios, like biochemical systems and human as well as automatic negotiations. We abstract interactions via multiparty sessions enriched with named checkpoints. Computations can either go forward or roll back to some checkpoints, where possibly different choices may be taken. In this way communications can be undone and different conversations may be tried. Interactions are typed with global types, which control also rollbacks. Typeability of session participants in agreement with global types ensures session fidelity and progress of reversible communications.

UR - https://www.scopus.com/pages/publications/84992080679

U2 - 10.4204/EPTCS.222.5

DO - 10.4204/EPTCS.222.5

M3 - Conference article

AN - SCOPUS:84992080679

SN - 2075-2180

VL - 222

SP - 60

EP - 74

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 23rd Combined International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, EXPRESS/SOS 2016

Y2 - 22 August 2016

ER -

Reversible multiparty sessions with checkpoints

Abstract

Access to Document

Other files and links

Fingerprint

Cite this