Concurrent reversible sessions

DOI10.4230/LIPICS.CONCUR.2017.30zbMATH Open1442.68129OpenAlexW2758436165MaRDI QIDQ5111644FDOQ5111644

Authors: Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini 

Publication date: 27 May 2020

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

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

zbMATH Keywords

reversible computationprocess calculimultiparty session typescommunication-centric systems

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (6)

• Title not available (Why is that?)
• Reversible sessions with flexible choices
• Reversibility in session-based concurrency: a fresh look
• Concurrent flexible reversibility
• Reversible session-based pi-calculus
• Reversible multiparty sessions with checkpoints

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)