@inproceedings{FabbrettiLS22,
  author    = {Giovanni Fabbretti and
               Ivan Lanese and
               Jean-Bernard Stefani},
  editor    = {Adri{\'{a}}n Riesco and
               Min Zhang},
  title     = {Generation of a Reversible Semantics for Erlang in Maude},
  booktitle = {Formal Methods and Software Engineering - 23rd International Conference
               on Formal Engineering Methods, {ICFEM} 2022},
  series    = {Lecture Notes in Computer Science},
  volume    = {13478},
  pages     = {106--122},
  publisher = {Springer},
  year      = {2022},
  url       = {https://doi.org/10.1007/978-3-031-17244-1\_7},
  doi       = {10.1007/978-3-031-17244-1\_7},
}

{"_id":"JYSy8SCg5z4oaguAm","bibbaseid":"fabbretti-lanese-stefani-generationofareversiblesemanticsforerlanginmaude-2022","author_short":["Fabbretti, G.","Lanese, I.","Stefani, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Giovanni"],"propositions":[],"lastnames":["Fabbretti"],"suffixes":[]},{"firstnames":["Ivan"],"propositions":[],"lastnames":["Lanese"],"suffixes":[]},{"firstnames":["Jean-Bernard"],"propositions":[],"lastnames":["Stefani"],"suffixes":[]}],"editor":[{"firstnames":["Adrián"],"propositions":[],"lastnames":["Riesco"],"suffixes":[]},{"firstnames":["Min"],"propositions":[],"lastnames":["Zhang"],"suffixes":[]}],"title":"Generation of a Reversible Semantics for Erlang in Maude","booktitle":"Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022","series":"Lecture Notes in Computer Science","volume":"13478","pages":"106–122","publisher":"Springer","year":"2022","url":"https://doi.org/10.1007/978-3-031-17244-1\\_7","doi":"10.1007/978-3-031-17244-1_7","bibtex":"@inproceedings{FabbrettiLS22,\n author = {Giovanni Fabbretti and\n Ivan Lanese and\n Jean-Bernard Stefani},\n editor = {Adri{\\'{a}}n Riesco and\n Min Zhang},\n title = {Generation of a Reversible Semantics for Erlang in Maude},\n booktitle = {Formal Methods and Software Engineering - 23rd International Conference\n on Formal Engineering Methods, {ICFEM} 2022},\n series = {Lecture Notes in Computer Science},\n volume = {13478},\n pages = {106--122},\n publisher = {Springer},\n year = {2022},\n url = {https://doi.org/10.1007/978-3-031-17244-1\\_7},\n doi = {10.1007/978-3-031-17244-1\\_7},\n}\n\n","author_short":["Fabbretti, G.","Lanese, I.","Stefani, J."],"editor_short":["Riesco, A.","Zhang, M."],"key":"FabbrettiLS22","id":"FabbrettiLS22","bibbaseid":"fabbretti-lanese-stefani-generationofareversiblesemanticsforerlanginmaude-2022","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-17244-1\\_7"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"https://rcr-group.github.io/file/biblio.bib","dataSources":["sFPYuvJvmfSGv3tNR","xnhiQv9oHMigrP4yD"],"keywords":[],"search_terms":["generation","reversible","semantics","erlang","maude","fabbretti","lanese","stefani"],"title":"Generation of a Reversible Semantics for Erlang in Maude","year":2022,"downloads":1}