@inproceedings{LamiLSCF22,
  author    = {Pietro Lami and
               Ivan Lanese and
               Jean-Bernard Stefani and
               Claudio {Sacerdoti Coen} and
               Giovanni Fabbretti},
  editor    = {Claudio Antares Mezzina and
               Krzysztof Podlaski},
  title     = {Reversibility in Erlang: Imperative Constructs},
  booktitle = {Reversible Computation - 14th International Conference, {RC} 2022},
  series    = {Lecture Notes in Computer Science},
    url       = {https://doi.org/10.1007/978-3-031-09005-9\_13},
  doi       = {10.1007/978-3-031-09005-9\_13},

  volume    = {13354},
  pages     = {187--203},
  publisher = {Springer},
  year      = {2022},
}

{"_id":"AoqzBDP3QpGq2pWEF","bibbaseid":"lami-lanese-stefani-sacerdoticoen-fabbretti-reversibilityinerlangimperativeconstructs-2022","author_short":["Lami, P.","Lanese, I.","Stefani, J.","Sacerdoti Coen, C.","Fabbretti, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Pietro"],"propositions":[],"lastnames":["Lami"],"suffixes":[]},{"firstnames":["Ivan"],"propositions":[],"lastnames":["Lanese"],"suffixes":[]},{"firstnames":["Jean-Bernard"],"propositions":[],"lastnames":["Stefani"],"suffixes":[]},{"firstnames":["Claudio"],"propositions":[],"lastnames":["Sacerdoti Coen"],"suffixes":[]},{"firstnames":["Giovanni"],"propositions":[],"lastnames":["Fabbretti"],"suffixes":[]}],"editor":[{"firstnames":["Claudio","Antares"],"propositions":[],"lastnames":["Mezzina"],"suffixes":[]},{"firstnames":["Krzysztof"],"propositions":[],"lastnames":["Podlaski"],"suffixes":[]}],"title":"Reversibility in Erlang: Imperative Constructs","booktitle":"Reversible Computation - 14th International Conference, RC 2022","series":"Lecture Notes in Computer Science","url":"https://doi.org/10.1007/978-3-031-09005-9\\_13","doi":"10.1007/978-3-031-09005-9_13","volume":"13354","pages":"187–203","publisher":"Springer","year":"2022","bibtex":"@inproceedings{LamiLSCF22,\n author = {Pietro Lami and\n Ivan Lanese and\n Jean-Bernard Stefani and\n Claudio {Sacerdoti Coen} and\n Giovanni Fabbretti},\n editor = {Claudio Antares Mezzina and\n Krzysztof Podlaski},\n title = {Reversibility in Erlang: Imperative Constructs},\n booktitle = {Reversible Computation - 14th International Conference, {RC} 2022},\n series = {Lecture Notes in Computer Science},\n url = {https://doi.org/10.1007/978-3-031-09005-9\\_13},\n doi = {10.1007/978-3-031-09005-9\\_13},\n\n volume = {13354},\n pages = {187--203},\n publisher = {Springer},\n year = {2022},\n}\n\n","author_short":["Lami, P.","Lanese, I.","Stefani, J.","Sacerdoti Coen, C.","Fabbretti, G."],"editor_short":["Mezzina, C. A.","Podlaski, K."],"key":"LamiLSCF22","id":"LamiLSCF22","bibbaseid":"lami-lanese-stefani-sacerdoticoen-fabbretti-reversibilityinerlangimperativeconstructs-2022","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-09005-9\\_13"},"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"inproceedings","biburl":"https://rcr-group.github.io/file/biblio.bib","dataSources":["xnhiQv9oHMigrP4yD","sFPYuvJvmfSGv3tNR"],"keywords":[],"search_terms":["reversibility","erlang","imperative","constructs","lami","lanese","stefani","sacerdoti coen","fabbretti"],"title":"Reversibility in Erlang: Imperative Constructs","year":2022,"downloads":2}