TY  - RPRT
TI  - A Lumpability-Driven Taxonomy of Strong and Weak Stochastic Bisimilarities with Their Congruence Properties
AU  - Riccardo Romanello
AU  - Andrea Esposito
AU  - Marco Bernardo
AU  - Carla Piazza
AU  - Sabina Rossi
PY  - 2026
UR  - https://arxiv.org/abs/2609.11893
ID  - 2609.11893
ER  -