Markus Schordan, Tomas Oppelstrup, Michael Kirkedal Thomsen, Robert Glück. Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation. In Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira 0001, editors, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Volume 12070 of Lecture Notes in Computer Science, pages 187-207, Springer, 2020. [doi]
Abstract is missing.