@article(AkgulM04, author = {T. Akgul and V. J. Mooney III}, year = {2004}, title = {Assembly instruction level reverse execution for debugging}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {13}, number = {2}, pages = {149--198}, doi = {10.1145/1018210.1018211}, ) @inproceedings(QML, author = {T. Altenkirch and J. Grattage}, year = {2005}, title = {A Functional Quantum Programming Language}, booktitle = {LICS}, publisher = {{IEEE} Computer Society}, pages = {249--258}, doi = {10.1109/LICS.2005.1}, ) @article(Rollback, author = {A. Avizienis and J.{-}C. Laprie and B. Randell and C. E. Landwehr}, year = {2004}, title = {Basic Concepts and Taxonomy of Dependable and Secure Computing}, journal = {{IEEE} Trans. Dependable Sec. Comput.}, volume = {1}, number = {1}, pages = {11--33}, doi = {10.1109/TDSC.2004.2}, ) @article(comx, author = {J. Barnard and J. Whitworth and M. Woodward}, year = {1996}, title = {Communicating X-machines}, journal = {Information and Software Technology}, volume = {38}, number = {6}, pages = {401--407}, doi = {10.1016/0950-5849(95)01066-1}, ) @unpublished(TR, author = {A. Bernadet and I. Lanese}, title = {{A Modular Formalization of Reversibility for Concurrent Models and Languages (TR)}}, note = {\url{http://www.cs.unibo.it/~lanese/work/ice2016-TR.pdf}}, ) @incollection(Boudol89, author = {G. Boudol and I. Castellani}, year = {1988}, title = {Permutation of transitions: An event structure semantics for CCS and SCCS}, booktitle = {Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency}, series = {LNCS}, volume = {354}, publisher = {Springer}, pages = {411--427}, doi = {10.1007/BFb0013028}, ) @inproceedings(RevStru, author = {L. Cardelli and C. Laneve}, year = {2011}, title = {Reversible structures}, booktitle = {CMSB}, publisher = {{ACM}}, pages = {131--140}, doi = {10.1145/2037509.2037529}, ) @inproceedings(revpi, author = {I. D. Cristescu and J. Krivine and D. Varacca}, year = {2013}, title = {{A Compositional Semantics for the Reversible Pi-calculus}}, booktitle = {LICS}, publisher = {IEEE Press}, pages = {388--397}, doi = {10.1109/LICS.2013.45}, ) @inproceedings(rccs, author = {V. Danos and J. Krivine}, year = {2004}, title = {{Reversible Communicating Systems}}, booktitle = {CONCUR}, series = {LNCS}, volume = {3170}, publisher = {Springer}, pages = {292--307}, doi = {10.1007/978-3-540-28644-8\_19}, ) @inproceedings(Sobocinski, author = {V. Danos and J. Krivine and P. Sobocinski}, year = {2006}, title = {General Reversibility}, booktitle = {EXPRESS}, series = {ENTCS}, volume = {175(3)}, pages = {75--86}, doi = {10.1016/j.entcs.2006.07.036}, ) @book(xmachines, author = {S. Eilenberg and B. Tilson}, year = {1976}, title = {Automata, languages and machines. Volume {B}}, series = {Pure and applied mathematics}, publisher = {Academic Press}, ) @inproceedings(GiachinoLMT15, author = {E. Giachino and I. Lanese and C. A. Mezzina and F. Tiezzi}, year = {2015}, title = {Causal-Consistent Reversibility in a Tuple-Based Language}, booktitle = {PDP}, publisher = {IEEE Computer Society Press}, pages = {467--475}, doi = {10.1109/PDP.2015.98}, ) @article(Landauer, author = {R. Landauer}, year = {1961}, title = {Irreversibility and heat generation in the computing process}, journal = {{IBM} Journal of Research and Development}, volume = {5}, pages = {183--191}, doi = {10.1147/rd.53.0183}, ) @inproceedings(rhopi, author = {I. Lanese and C. A. Mezzina and J.-B. Stefani}, year = {2010}, title = {{Reversing Higher-Order Pi}}, booktitle = {CONCUR}, series = {LNCS}, volume = {6269}, publisher = {Springer}, pages = {478--493}, doi = {10.1007/978-3-642-15375-4\_33}, ) @article(journal-rhopi, author = {I. Lanese and C. A. Mezzina and J.{-}B. Stefani}, year = {2016}, title = {Reversibility in the higher-order {$\pi$}-calculus}, journal = {Theor.\ Comput.\ Sci.}, volume = {625}, pages = {25--84}, doi = {10.1016/j.tcs.2016.02.019}, ) @article(LMT:BEATCS, author = {I. Lanese and C. A. Mezzina and F. Tiezzi}, year = {2014}, title = {Causal-Consistent Reversibility}, journal = {Bulletin of the {EATCS}}, volume = {114}, url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/305}, ) @inproceedings(revMuOz, author = {M. Lienhardt and I. Lanese and C. A. Mezzina and J.-B. Stefani}, year = {2012}, title = {{A Reversible Abstract Machine and Its Space Overhead}}, booktitle = {FMOODS/FORTE}, series = {LNCS}, volume = {7273}, publisher = {Springer}, pages = {1--17}, doi = {10.1007/978-3-642-30793-5}, ) @inproceedings(Maz88, author = {A. W. Mazurkiewicz}, year = {1988}, title = {Basic notions of trace theory}, booktitle = {Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency}, series = {LNCS}, volume = {354}, publisher = {Springer}, pages = {285--363}, doi = {10.1007/BFb0013025}, ) @book(CCS, author = {R. Milner}, year = {1989}, title = {Communication and concurrency.}, publisher = {Prentice-Hall}, ) @article(revUlidowski, author = {I. Phillips and I. Ulidowski}, year = {2007}, title = {{Reversing Algebraic Process Calculi}}, journal = {J. Log. Algebr. Program.}, volume = {73}, number = {1-2}, pages = {70--96}, doi = {10.1016/j.jlap.2006.11.002}, ) @inproceedings(PhillipsPathway, author = {I. Phillips and I. Ulidowski and S. Yuen}, year = {2012}, title = {{A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway}}, booktitle = {RC}, series = {LNCS}, volume = {7581}, publisher = {Springer}, pages = {218--232}, doi = {10.1007/978-3-642-36315-3\_18}, ) @inproceedings(Yoko07, author = {T. Yokoyama and R. Gl\"{u}ck}, year = {2007}, title = {A Reversible Programming Language and Its Invertible Self-interpreter}, booktitle = {PEPM}, publisher = {ACM Press}, pages = {144--153}, doi = {10.1145/1244381.1244404}, )