Concurrent reversible sessions

DOI10.4230/LIPICS.CONCUR.2017.30MaRDI QIDQ5111644zbMATH OpenOpenAlexFDO

Authors Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini

Publication date 27 May 2020

Full work available at URL https://hal.inria.fr/hal-01639845

zbMATH Keywords

communication-centric systemsmultiparty session typesprocess calculireversible computation

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Reversible sessions with flexible choices
• Reversible session-based pi-calculus
• Relative expressiveness of calculi for reversible concurrency
• Reversibility in session-based concurrency: a fresh look
• Reversible multiparty sessions with checkpoints

Cites work

• A calculus of communicating systems
• Bisimulations for communicating transactions (extended abstract)
• Causal-consistent rollback in a tuple-based language
• Communicating transactions (extended abstract)
• CONCUR 2004 - Concurrency Theory
• Context-free session types
• Controlling Reversibility in Higher-Order Pi
• Dynamic multirole session types
• Flow models of distributed computations: Three equivalent semantics for CCS
• scientific article; zbMATH DE number 4119615 (Why is no real title available?)
• Modelling session types using contracts
• Multiparty asynchronous session types
• Multiparty session actors
• Multiparty session types meet communicating automata
• On global types and multi-party sessions
• Reversibility and asymmetric conflict in event structures
• Reversible client/server interactions
• Reversible multiparty sessions with checkpoints
• Reversible session-based pi-calculus
• Reversing algebraic process calculi
• Reversing Higher-Order Pi
• Reversing single sessions
• Rigid families for the reversible -calculus
• Sub-behaviour relations for session-based client/server systems
• Towards a categorical representation of reversible event structures
• Types and programing languages

Cited in

(8)

• Reversible sessions with flexible choices
• Reversibility in session-based concurrency: a fresh look
• Reversible session-based pi-calculus
• Reversible multiparty sessions with checkpoints
• scientific article; zbMATH DE number 7471661 (Why is no real title available?)
• Concurrent flexible reversibility
• Encoding choice and replication in \(\mathbf{roll}\text{-}\pi \)
• Checkpoint-based rollback recovery in session programming

This page was built for publication: Concurrent reversible sessions

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