TY  - RPRT
TI  - The Complexity of Bisimilarity and Model Checking in Finitary Diagrams
AU  - Markus Bläser
AU  - Sagnik Dutta
AU  - Samuel Okyay
PY  - 2026
UR  - https://arxiv.org/abs/2606.16744
ID  - 2606.16744
ER  -