TY - RPRT TI - Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations AU - David de Frutos-Escrig AU - Miguel Palomino AU - Ignacio Fábregas PY - 2024 DO - 10.1007/978-3-540-68855-6\_18 UR - https://arxiv.org/abs/2402.00962 ID - 2402.00962 ER -