Towards a Truly Concurrent Semantics for Reversible CCS. Melgratti, H. C., Mezzina, C. A., & Pinna, G. M. In Reversible Computation - 13th International Conference, RC 2021, volume 12805, of Lecture Notes in Computer Science, pages 109–125, 2021. Springer.
Paper doi bibtex @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},
}
Downloads: 0
{"_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}