@misc{indiciaebee264cf9526,
  title = {Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings},
  author = {Marco Bernardo and Andrea Esposito and Claudio A. Mezzina},
  year = {2024},
  doi = {10.4204/eptcs.412.5},
  url = {https://arxiv.org/abs/2411.14583},
  note = {Source identifier: 2411.14583}
}