Explicit identifiers and contexts in reversible concurrent calculus. (English) Zbl 1476.68093
Yamashita, Shigeru (ed.) et al., Reversible computation. 13th international conference, RC 2021, virtual event, July 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12805, 144-162 (2021).