Concurrent Reversible Sessions

DOI10.4230/LIPIcs.CONCUR.2017.30zbMath1442.68129OpenAlexW2758436165MaRDI QIDQ5111644

Paola Giannini, Mariangiola Dezani-Ciancaglini, Ilaria Castellani

Publication date: 27 May 2020

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

zbMATH Keywords

process calculireversible computationmultiparty session typescommunication-centric systems

Mathematics Subject Classification ID

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

Related Items (3)

Fault-tolerant multiparty session types ⋮ Unnamed Item ⋮ Reversible sessions with flexible choices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reversible client/server interactions
• Reversible session-based pi-calculus
• Causal-consistent rollback in a tuple-based language
• Reversibility and asymmetric conflict in event structures
• A calculus of communicating systems
• Flow models of distributed computations: Three equivalent semantics for CCS
• Towards a categorical representation of reversible event structures
• Reversing algebraic process calculi
• On Global Types and Multi-Party Session
• Multiparty Session Types Meet Communicating Automata
• Context-free session types
• Controlling Reversibility in Higher-Order Pi
• Rigid Families for the Reversible $$\pi $$ -Calculus
• Reversing Single Sessions
• Multiparty asynchronous session types
• Reversing Higher-Order Pi
• Communicating Transactions
• CONCUR 2004 - Concurrency Theory
• Dynamic multirole session types
• Bisimulations for Communicating Transactions
• Sub-behaviour relations for session-based client/server systems
• Modelling session types using contracts

This page was built for publication: Concurrent Reversible Sessions