Foundations of Reversible Computation-Reference-Cited by-同舟云学术

Foundations of Reversible Computation

Published:2020 Issue: Volume: Page:1-40
ISSN:0302-9743
Container-title:Reversible Computation: Extending Horizons of Computing
language:
Short-container-title:

Author:

Aman Bogdan,Ciobanu Gabriel,Glück Robert,Kaarsgaard Robin,Kari Jarkko,Kutrib Martin,Lanese Ivan,Mezzina Claudio Antares,Mikulski Łukasz,Nagarajan Rajagopal,Phillips Iain,Pinna G. Michele,Prigioniero Luca,Ulidowski Irek,Vidal Germán

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-47361-7_1

Reference186 articles.

1. Lecture Notes in Computer Science;S Abramsky,1996

2. Abramsky, S.: A structural approach to reversible computation. Theoret. Comput. Sci. 347(3), 441–464 (2005)

3. Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Logic in Computer Science, LICS 2004, pp. 415–425. IEEE (2004)

4. Abramsky, S., Haghverdi, E., Scott, P.: Geometry of interaction and linear combinatory algebras. Math. Struct. Comput. Sci. 12(5), 625–665 (2002)

5. Lecture Notes in Computer Science;O Agrigoroaiei,2009

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Reversible Perspective on Petri Nets and Event Structures;ACM Transactions on Computational Logic;2024-08-02

2. Topological Quantum Gates in Homotopy Type Theory;Communications in Mathematical Physics;2024-07

3. A Case Study in Functional Conversion and Mode Inference in miniKanren;Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11

4. From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs;Lecture Notes in Computer Science;2024

5. Relating Reversible Petri Nets and Reversible Event Structures, Categorically;Formal Techniques for Distributed Objects, Components, and Systems;2023