TY  - RPRT
TI  - Bisimilarity in fresh-register automata
AU  - Andrzej S. Murawski
AU  - Steven J. Ramsay
AU  - Nikos Tzevelekos
PY  - 2025
DO  - 10.46298/lmcs-21(1:13)2025
UR  - https://arxiv.org/abs/2005.06411
ID  - 2005.06411
ER  -