@inproceedings{LamiLS24,
  author       = {Pietro Lami and
                  Ivan Lanese and
                  Jean-Bernard Stefani},
  editor       = {Torben {\AE}gidius Mogensen and
                  Lukasz Mikulski},
  title        = {A Small-Step Semantics for Janus},
  booktitle    = {Reversible Computation - 16th International Conference, {RC} 2024,
                  Toru{\'{n}}, Poland, July 4-5, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14680},
  pages        = {105--123},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-62076-8\_8},
  doi          = {10.1007/978-3-031-62076-8\_8},
}

{"_id":"2GnHj7TabsYtZtZPB","bibbaseid":"lami-lanese-stefani-asmallstepsemanticsforjanus-2024","author_short":["Lami, P.","Lanese, I.","Stefani, J."],"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":[]}],"editor":[{"firstnames":["Torben","Ægidius"],"propositions":[],"lastnames":["Mogensen"],"suffixes":[]},{"firstnames":["Lukasz"],"propositions":[],"lastnames":["Mikulski"],"suffixes":[]}],"title":"A Small-Step Semantics for Janus","booktitle":"Reversible Computation - 16th International Conference, RC 2024, Toruń, Poland, July 4-5, 2024, Proceedings","series":"Lecture Notes in Computer Science","volume":"14680","pages":"105–123","publisher":"Springer","year":"2024","url":"https://doi.org/10.1007/978-3-031-62076-8\\_8","doi":"10.1007/978-3-031-62076-8_8","bibtex":"@inproceedings{LamiLS24,\n author = {Pietro Lami and\n Ivan Lanese and\n Jean-Bernard Stefani},\n editor = {Torben {\\AE}gidius Mogensen and\n Lukasz Mikulski},\n title = {A Small-Step Semantics for Janus},\n booktitle = {Reversible Computation - 16th International Conference, {RC} 2024,\n Toru{\\'{n}}, Poland, July 4-5, 2024, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {14680},\n pages = {105--123},\n publisher = {Springer},\n year = {2024},\n url = {https://doi.org/10.1007/978-3-031-62076-8\\_8},\n doi = {10.1007/978-3-031-62076-8\\_8},\n}\n\n","author_short":["Lami, P.","Lanese, I.","Stefani, J."],"editor_short":["Mogensen, T. Æ.","Mikulski, L."],"key":"LamiLS24","id":"LamiLS24","bibbaseid":"lami-lanese-stefani-asmallstepsemanticsforjanus-2024","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-62076-8\\_8"},"metadata":{"authorlinks":{}},"downloads":3},"bibtype":"inproceedings","biburl":"https://rcr-group.github.io/file/biblio.bib","dataSources":["sFPYuvJvmfSGv3tNR","xnhiQv9oHMigrP4yD"],"keywords":[],"search_terms":["small","step","semantics","janus","lami","lanese","stefani"],"title":"A Small-Step Semantics for Janus","year":2024,"downloads":3}