@article{756248, recid = {756248}, author = {Devitt, Simon, and Lanese, Ivan,}, title = {Reversible computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings / [electronic resource] :. RC (Workshop : Reversible Computation)}, pages = {1 online resource (xiii, 339 pages) :}, note = {International conference proceedings.}, abstract = {This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016. The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi; reversible models; programming languages; quantum computing; quantum programming; circuit theory; and syntheses.}, url = {http://library.usi.edu/record/756248}, doi = {https://doi.org/10.1007/978-3-319-40578-0}, }