@misc{indiciaee90496a0365a,
  title = {Bisimulations for Nondeterministic Labeled Markov Processes},
  author = {Pedro D'Argenio and Pedro Sánchez Terraf and Nicolás Wolovick},
  year = {2010},
  url = {https://arxiv.org/abs/1011.3362},
  note = {Source identifier: 1011.3362}
}