Concurrent reversible sessions

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

Paola Giannini, Mariangiola Dezani-Ciancaglini, Ilaria Castellani

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
• Reversible session-based pi-calculus
• Dynamic multirole session types
• Bisimulations for Communicating Transactions
• 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
• Title not available (Why is that?)
• Reversing Single Sessions
• Title not available (Why is that?)

Cited In (5)

• Title not available (Why is that?)
• Reversible sessions with flexible choices
• Reversibility in session-based concurrency: a fresh look
• Fault-tolerant multiparty session types
• Separating Sessions Smoothly

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)