@misc{indiciaeacf98d087d54,
  title = {Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes},
  author = {Marco Bernardo},
  year = {2012},
  doi = {10.4204/eptcs.85.9},
  url = {https://arxiv.org/abs/1207.0874},
  note = {Source identifier: 1207.0874}
}