Author of the publication

Towards a Taxonomy for Reversible Computation Approaches.

, , , , , , and . RC, volume 13960 of Lecture Notes in Computer Science, page 24-39. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Reversibility and Asymmetric Conflict in Event Structures., and . CONCUR, volume 8052 of Lecture Notes in Computer Science, page 303-318. Springer, (2013)Reversing Algebraic Process Calculi., and . FoSSaCS, volume 3921 of Lecture Notes in Computer Science, page 246-260. Springer, (2006)Reversible Execution for Robustness in Embodied AI and Industrial Robots., , and . IT Prof., 23 (3): 12-17 (2021)Reversing Parallel Programs with Blocks and Procedures., , and . EXPRESS/SOS, volume 276 of EPTCS, page 69-86. (2018)Towards a Taxonomy for Reversible Computation Approaches., , , , , , and . RC, volume 13960 of Lecture Notes in Computer Science, page 24-39. Springer, (2023)An Axiomatic Approach to Reversible Computation., , and . FoSSaCS, volume 12077 of Lecture Notes in Computer Science, page 442-461. Springer, (2020)Preface.. ARTS, volume 139 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2004)Towards Modelling of Local Reversibility., and . RC, volume 9138 of Lecture Notes in Computer Science, page 279-284. Springer, (2015)A hierarchy of reverse bisimulations on stable configuration structures., and . Math. Struct. Comput. Sci., 22 (2): 333-372 (2012)Reversing Event Structures., , and . New Gener. Comput., 36 (3): 281-306 (2018)