Cheval, V. ., Crubillé, R. ., & Kremer, S. . (2022). Symbolic protocol verification with dice: process equivalences in the presence of probabilities. In (pp. 319–334). Haifa, Israel: IEEE. http://doi.org/10.1109/CSF54842.2022.9919644 (Original work published 2024)