@inproceedings{MelgrattiMP21,
  author       = {Hern{\'{a}}n C. Melgratti and
                  Claudio Antares Mezzina and
                  G. Michele Pinna},
  title        = {Towards a Truly Concurrent Semantics for Reversible {CCS}},
  booktitle    = {Reversible Computation - 13th International Conference, {RC} 2021},
  pages        = {109--125},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-79837-6\_7},
  doi          = {10.1007/978-3-030-79837-6\_7},
  series       = {Lecture Notes in Computer Science},
  volume       = {12805},
  publisher    = {Springer},
}

{"_id":"57HJNsRecEjApxF9o","bibbaseid":"melgratti-mezzina-pinna-towardsatrulyconcurrentsemanticsforreversibleccs-2021","author_short":["Melgratti, H. C.","Mezzina, C. A.","Pinna, G. M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Hernán","C."],"propositions":[],"lastnames":["Melgratti"],"suffixes":[]},{"firstnames":["Claudio","Antares"],"propositions":[],"lastnames":["Mezzina"],"suffixes":[]},{"firstnames":["G.","Michele"],"propositions":[],"lastnames":["Pinna"],"suffixes":[]}],"title":"Towards a Truly Concurrent Semantics for Reversible CCS","booktitle":"Reversible Computation - 13th International Conference, RC 2021","pages":"109–125","year":"2021","url":"https://doi.org/10.1007/978-3-030-79837-6\\_7","doi":"10.1007/978-3-030-79837-6_7","series":"Lecture Notes in Computer Science","volume":"12805","publisher":"Springer","bibtex":"@inproceedings{MelgrattiMP21,\n author = {Hern{\\'{a}}n C. Melgratti and\n Claudio Antares Mezzina and\n G. Michele Pinna},\n title = {Towards a Truly Concurrent Semantics for Reversible {CCS}},\n booktitle = {Reversible Computation - 13th International Conference, {RC} 2021},\n pages = {109--125},\n year = {2021},\n url = {https://doi.org/10.1007/978-3-030-79837-6\\_7},\n doi = {10.1007/978-3-030-79837-6\\_7},\n series = {Lecture Notes in Computer Science},\n volume = {12805},\n publisher = {Springer},\n}\n\n","author_short":["Melgratti, H. C.","Mezzina, C. A.","Pinna, G. M."],"key":"MelgrattiMP21","id":"MelgrattiMP21","bibbaseid":"melgratti-mezzina-pinna-towardsatrulyconcurrentsemanticsforreversibleccs-2021","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-79837-6\\_7"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://rcr-group.github.io/file/biblio.bib","dataSources":["xs35HrYTZDE2HTSYB","sFPYuvJvmfSGv3tNR"],"keywords":[],"search_terms":["towards","truly","concurrent","semantics","reversible","ccs","melgratti","mezzina","pinna"],"title":"Towards a Truly Concurrent Semantics for Reversible CCS","year":2021}