@misc{indiciae29a62d86f265,
  title = {Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets},
  author = {Marco Bernardo and Andrea Esposito and Claudio A. Mezzina},
  year = {2025},
  url = {https://arxiv.org/abs/2512.06959},
  note = {Source identifier: 2512.06959}
}