BLUTE, R.; DESHARNAIS, J.; EDALAT, A.; PANANGADEN, P. Bisimulation for Labelled Markov Processes. BRICS Report Series, [S. l.], v. 4, n. 4, 1997. DOI: 10.7146/brics.v4i4.18783. Disponível em: https://tidsskrift.dk/brics/article/view/18783. Acesso em: 28 mar. 2024.