Author:
Lami Pietro,Lanese Ivan,Stefani Jean-Bernard
Publisher
Springer Nature Switzerland
Reference20 articles.
1. Cristescu, I., Krivine, J., Varacca, D.: A compositional semantics for the reversible pi-calculus. In: LICS, pp. 388–397. IEEE (2013)
2. Dagnino, F.: A meta-theory for big-step semantics. ACM Trans. Comput. Log. 23(3), 20:1–20:50 (2022)
3. Lecture Notes in Computer Science;V Danos,2004
4. Haulund, T.: Design and implementation of a reversible object-oriented programming language (2017)
5. Lecture Notes in Computer Science;PAH Jacobsen,2018