Checkpoint-based rollback recovery in session programming

DOI10.46298/LMCS-21(1:2)2025MaRDI QIDQ7034356zbMATH OpenFDO

Authors Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida

Publication date 31 January 2025

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-21(1:2)2025

zbMATH Keywords

reversibility

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• A compositional semantics for the reversible -calculus
• A language-based approach to modelling and analysis of Twitter interactions
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Causal-consistent rollback in a tuple-based language
• Checkpoint/rollback vs causally-consistent reversibility
• Communicating transactions (extended abstract)
• CONCUR 2004 - Concurrency Theory
• CONCUR 2005 – Concurrency Theory
• Concurrent flexible reversibility
• Concurrent reversible sessions
• Conditional rewriting logic as a unified model of concurrency
• Controlling Reversibility in Higher-Order Pi
• Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15--17, 2018. Proceedings
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 7471661 (Why is no real title available?)
• On the preciseness of subtyping in session types
• Programming languages and systems. 7th European symposium on programming, ESOP'98, held as part of the joint European conferences on theory and practice of software, ETAPS'98, Lisbon, Portugal, March 28 -- April 4, 1998. Proceedings
• Reversibility and Predictions
• Reversibility in session-based concurrency: a fresh look
• Reversible session-based pi-calculus
• Reversible simulations of elastic collisions
• Reversing Higher-Order Pi
• Reversing single sessions
• Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments
• Twenty years of rewriting logic

Cited in

(3)

• Encoding choice and replication in \(\mathbf{roll}\text{-}\pi \)
• Relating reversible Petri nets and reversible event structures, categorically
• On reversibility in Petri nets

This page was built for publication: Checkpoint-based rollback recovery in session programming

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