Blute, Richard, Josée Desharnais, Abbas Edalat, and Prakash Panangaden. “Bisimulation for Labelled Markov Processes”. BRICS Report Series 4, no. 4 (January 4, 1997). Accessed April 19, 2024. https://tidsskrift.dk/brics/article/view/18783.