@article{tocl2024-axRev,
  author       = {Ivan Lanese and
                  Iain C. C. Phillips and
		  Irek Ulidowski},
  title        = {An Axiomatic Theory for Reversible Computation},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {25},
  number       = {2},
  pages        = {11:1--11:40},
  year         = {2024},
  url          = {https://doi.org/10.1145/3648474},
  doi          = {10.1145/3648474},
  url_pdf   = {fulltext/tocl2024-axRev.pdf},
  keywords  = {Reversible computing, Process calculi, Programming languages}  
  }

{"_id":"rhjEnkpuPsiYirfTT","bibbaseid":"lanese-phillips-ulidowski-anaxiomatictheoryforreversiblecomputation-2024","author_short":["Lanese, I.","Phillips, I. C. C.","Ulidowski, I."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Ivan"],"propositions":[],"lastnames":["Lanese"],"suffixes":[]},{"firstnames":["Iain","C.","C."],"propositions":[],"lastnames":["Phillips"],"suffixes":[]},{"firstnames":["Irek"],"propositions":[],"lastnames":["Ulidowski"],"suffixes":[]}],"title":"An Axiomatic Theory for Reversible Computation","journal":"ACM Trans. Comput. Log.","volume":"25","number":"2","pages":"11:1–11:40","year":"2024","url":"https://doi.org/10.1145/3648474","doi":"10.1145/3648474","url_pdf":"fulltext/tocl2024-axRev.pdf","keywords":"Reversible computing, Process calculi, Programming languages","bibtex":"@article{tocl2024-axRev,\n author = {Ivan Lanese and\n Iain C. C. Phillips and\n\t\t Irek Ulidowski},\n title = {An Axiomatic Theory for Reversible Computation},\n journal = {{ACM} Trans. Comput. Log.},\n volume = {25},\n number = {2},\n pages = {11:1--11:40},\n year = {2024},\n url = {https://doi.org/10.1145/3648474},\n doi = {10.1145/3648474},\n url_pdf = {fulltext/tocl2024-axRev.pdf},\n keywords = {Reversible computing, Process calculi, Programming languages} \n }\n\t\t\t\t\t\t\t \n\n","author_short":["Lanese, I.","Phillips, I. C. C.","Ulidowski, I."],"key":"tocl2024-axRev","id":"tocl2024-axRev","bibbaseid":"lanese-phillips-ulidowski-anaxiomatictheoryforreversiblecomputation-2024","role":"author","urls":{"Paper":"https://doi.org/10.1145/3648474"," pdf":"https://www.cs.unibo.it/~lanese/newpublications/fulltext/tocl2024-axRev.pdf"},"keyword":["Reversible computing","Process calculi","Programming languages"],"metadata":{"authorlinks":{}},"downloads":5},"bibtype":"article","biburl":"https://www.cs.unibo.it/~lanese/newpublications/mybib.bib","dataSources":["sFPYuvJvmfSGv3tNR","xnhiQv9oHMigrP4yD"],"keywords":["reversible computing","process calculi","programming languages"],"search_terms":["axiomatic","theory","reversible","computation","lanese","phillips","ulidowski"],"title":"An Axiomatic Theory for Reversible Computation","year":2024,"downloads":5}