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.
Towards a Truly Concurrent Semantics for Reversible CCS [link]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