BibTeX

@inproceedings{yueninproceedings20260531intro,
  title = {Introducing Time Passage to the Reversible Semantics for Erlang},
  year = {2026},
  author = {Yuna Sadamoto, Shoji Yuen, Claudio Antares Mezzina},
  booktitle = {Reversible Computation RC2026},
  series = {Lecture Notes in Computer Science},
  volume = {88888},
  pages = {1-8},
  publisher = {Springer}
}