Author:
Bernardo Marco,Lanese Ivan,Marin Andrea,Mezzina Claudio A.,Rossi Sabina,Sacerdoti Coen Claudio
Publisher
Springer Nature Switzerland
Reference44 articles.
1. Asperti, A., Ricciotti, W., Sacerdoti Coen, C.: Matita tutorial. J. Formaliz. Reason. 7, 91–199 (2014)
2. Bennett, C.H.: Logical reversibility of computation. IBM J. Res. Dev. 17, 525–532 (1973)
3. Bernardo, M., Mezzina, C.A.: Bridging causal reversibility and time reversibility: a stochastic process algebraic approach. Log. Methods Comput. Sci. 19(2:6), 1–27 (2023)
4. Buchholz, P.: Exact and ordinary lumpability in finite Markov chains. J. Appl. Probab. 31, 59–75 (1994)
5. Lecture Notes in Computer Science;V Danos,2004