Towards Causal-Consistent Reversibility of Imperative Concurrent Programs

James Hoey, Irek Ulidowski. Towards Causal-Consistent Reversibility of Imperative Concurrent Programs. In Claudio Antares Mezzina, Krzysztof Podlaski, editors, Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings. Volume 13354 of Lecture Notes in Computer Science, pages 213-223, Springer, 2022. [doi]

@inproceedings{HoeyU22,
  title = {Towards Causal-Consistent Reversibility of Imperative Concurrent Programs},
  author = {James Hoey and Irek Ulidowski},
  year = {2022},
  doi = {10.1007/978-3-031-09005-9_15},
  url = {https://doi.org/10.1007/978-3-031-09005-9_15},
  researchr = {https://researchr.org/publication/HoeyU22},
  cites = {0},
  citedby = {0},
  pages = {213-223},
  booktitle = {Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings},
  editor = {Claudio Antares Mezzina and Krzysztof Podlaski},
  volume = {13354},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-031-09005-9},
}