elsevier
Theoretical Computer Science
Computer Security

de Vink, E., & Rutten, J. (1999). Bisimulation for probabilistic transition systems: a coalgebraic approach. Theoretical Computer Science, 221(1-2), 271–293.