RevMiGo: reversible channel-based communication in Go language

DOI10.1007/978-3-031-97063-4_9MaRDI QIDQ6899780zbMATH OpenFDO

Authors Shunya Oguchi, Shoji Yuen, Nobuko Yoshida

Publication date 14 November 2025

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

Mathematics Subject Classification ID

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

Cites work

• An axiomatic theory for reversible computation
• CONCUR 2004 - Concurrency Theory
• Fencing off Go: liveness and safety for channel-based programming
• Reversing algebraic process calculi

This page was built for publication: RevMiGo: reversible channel-based communication in Go language

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