Reversible multiparty sessions with checkpoints

MaRDI QIDQ5015360zbMATH OpenFDO

Authors Mariangiola Dezani-Ciancaglini, Paola Giannini

Publication date 7 December 2021

Full work available at URL https://arxiv.org/abs/1608.03129, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2016.5

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Reversible sessions with flexible choices
• Reversing single sessions
• Concurrent flexible reversibility
• Reversible session-based pi-calculus
• Concurrent reversible sessions

Cites work

• Bisimulations for communicating transactions (extended abstract)
• Communicating transactions (extended abstract)
• CONCUR 2004 - Concurrency Theory
• Controlling Reversibility in Higher-Order Pi
• Dynamic multirole session types
• Global progress for dynamically interleaved multiparty sessions
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• Modelling session types using contracts
• Multiparty asynchronous session types
• Reversible client/server interactions
• Reversible session-based pi-calculus
• Reversing algebraic process calculi
• Reversing Higher-Order Pi
• Reversing single sessions
• Session types = intersection types + union types
• Sub-behaviour relations for session-based client/server systems
• Subtyping for session types in the pi calculus
• Types and programing languages
• Types for role-based access control of dynamic web data

Cited in

(6)

• Reversible sessions with flexible choices
• Reversibility in session-based concurrency: a fresh look
• Reversible client/server interactions
• Reversing single sessions
• scientific article; zbMATH DE number 7471661 (Why is no real title available?)
• Concurrent reversible sessions

This page was built for publication: Reversible multiparty sessions with checkpoints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5015360)