Encoding choice and replication in roll-

DOI10.1007/978-3-031-97063-4_3MaRDI QIDQ6899790zbMATH OpenFDO

Authors Adam D. Barwell, Ping Hou, Martin Vassor, Nobuko Yoshida

Publication date 14 November 2025

Full work available at URL https://doi.org/10.1007/978-3-031-97063-4_3

zbMATH Keywords

causally consistent rollbackfault-tolerancemultiparty session typesreversible process calculus

Mathematics Subject Classification ID

Other nonclassical models of computation (68Q09) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68)

Cites work

• A calculus of mobile processes. II
• Checkpoint-based rollback recovery in session programming
• Checkpoint/rollback vs causally-consistent reversibility
• Concurrent reversible sessions
• Controlling Reversibility in Higher-Order Pi
• Fault-tolerant multiparty session types
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• Introduction to bisimulation and coinduction
• Multiparty asynchronous session types
• The -calculus: A theory of mobile processes

This page was built for publication: Encoding choice and replication in \(\mathbf{roll}\text{-}\pi \)

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