@inproceedings{MatosPR21,
  author       = {Armando B. Matos and
                  Luca Paolini and
                  Luca Roversi},
  editor       = {Shigeru Yamashita and
                  Tetsuo Yokoyama},
  title        = {Splitting Recursion Schemes into Reversible and Classical Interacting
                  Threads},
  booktitle    = {Reversible Computation - 13th International Conference, {RC} 2021,
                  Virtual Event, July 7-8, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12805},
  pages        = {204--213},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-79837-6\_12},
  doi          = {10.1007/978-3-030-79837-6\_12},
}

{"_id":"yFoEuipjfS2zBxRDG","bibbaseid":"matos-paolini-roversi-splittingrecursionschemesintoreversibleandclassicalinteractingthreads-2021","author_short":["Matos, A. B.","Paolini, L.","Roversi, L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Armando","B."],"propositions":[],"lastnames":["Matos"],"suffixes":[]},{"firstnames":["Luca"],"propositions":[],"lastnames":["Paolini"],"suffixes":[]},{"firstnames":["Luca"],"propositions":[],"lastnames":["Roversi"],"suffixes":[]}],"editor":[{"firstnames":["Shigeru"],"propositions":[],"lastnames":["Yamashita"],"suffixes":[]},{"firstnames":["Tetsuo"],"propositions":[],"lastnames":["Yokoyama"],"suffixes":[]}],"title":"Splitting Recursion Schemes into Reversible and Classical Interacting Threads","booktitle":"Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings","series":"Lecture Notes in Computer Science","volume":"12805","pages":"204–213","publisher":"Springer","year":"2021","url":"https://doi.org/10.1007/978-3-030-79837-6\\_12","doi":"10.1007/978-3-030-79837-6_12","bibtex":"@inproceedings{MatosPR21,\n author = {Armando B. Matos and\n Luca Paolini and\n Luca Roversi},\n editor = {Shigeru Yamashita and\n Tetsuo Yokoyama},\n title = {Splitting Recursion Schemes into Reversible and Classical Interacting\n Threads},\n booktitle = {Reversible Computation - 13th International Conference, {RC} 2021,\n Virtual Event, July 7-8, 2021, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {12805},\n pages = {204--213},\n publisher = {Springer},\n year = {2021},\n url = {https://doi.org/10.1007/978-3-030-79837-6\\_12},\n doi = {10.1007/978-3-030-79837-6\\_12},\n}\n\n","author_short":["Matos, A. B.","Paolini, L.","Roversi, L."],"editor_short":["Yamashita, S.","Yokoyama, T."],"key":"MatosPR21","id":"MatosPR21","bibbaseid":"matos-paolini-roversi-splittingrecursionschemesintoreversibleandclassicalinteractingthreads-2021","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-79837-6\\_12"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://rcr-group.github.io/file/biblio.bib","dataSources":["sFPYuvJvmfSGv3tNR"],"keywords":[],"search_terms":["splitting","recursion","schemes","reversible","classical","interacting","threads","matos","paolini","roversi"],"title":"Splitting Recursion Schemes into Reversible and Classical Interacting Threads","year":2021}