Autor der Publikation

Towards a Taxonomy for Reversible Computation Approaches.

, , , , , , und . RC, Volume 13960 von Lecture Notes in Computer Science, Seite 24-39. Springer, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Block Placement Strategies for Fault-Resilient Distributed Tuple Spaces: An Experimental Study - (Practical Experience Report)., , , und . DAIS, Volume 10320 von Lecture Notes in Computer Science, Seite 67-82. Springer, (2017)Controlling Reversibility in Higher-Order Pi., , , und . CONCUR, Volume 6901 von Lecture Notes in Computer Science, Seite 297-311. Springer, (2011)Reversible Causal Nets and Reversible Event Structures., , , , und . CoRR, (2019)A Reversible Perspective on Petri Nets and Event Structures., , und . CoRR, (2023)Causal Reversibility Implies Time Reversibility., , , , , und . QEST, Volume 14287 von Lecture Notes in Computer Science, Seite 270-287. Springer, (2023)Reversible Semantics in Session-based Concurrency., und . ICTCS, Volume 1720 von CEUR Workshop Proceedings, Seite 221-226. CEUR-WS.org, (2016)Reversing P/T Nets., , und . COORDINATION, Volume 11533 von Lecture Notes in Computer Science, Seite 19-36. Springer, (2019)Towards Bridging Time and Causal Reversibility., und . FORTE, Volume 12136 von Lecture Notes in Computer Science, Seite 22-38. Springer, (2020)Towards a Formal Account for Software Transactional Memory., , , und . RC, Volume 12227 von Lecture Notes in Computer Science, Seite 255-263. Springer, (2020)A conceptual framework for collective adaptive systems., , , und . SAC, Seite 1935-1936. ACM, (2013)