TY  - RPRT
TI  - Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets
AU  - Marco Bernardo
AU  - Andrea Esposito
AU  - Claudio A. Mezzina
PY  - 2025
UR  - https://arxiv.org/abs/2512.06959
ID  - 2512.06959
ER  -