### Some Remarks on Module 8

Verfasst:

**5. Feb 2018 12:40**I think on slide 33 of Module 8,

it is possible to weaken the requirement that the union of R and "low bisimilarity" is symmetric to the one that R is symmetric.

Since if R is symmetric and "low bisimilarity" is symmetric,

(which we can conclude from the second theorem on slide 18)

I think, it follows that the union of both is symmetric.

On slide 50 and 55 I think the reference should be to slide 11 instead of 10.

And what is meant by

"In the rest of this module, we use probabilistic bisimulations

instead of strong probabilistic bisimulations.".

Does it mean:

"In the rest of this module, we use the term 'probabilistic bisimulation'

instead of the term 'strong probabilistic bisimulation'."

best regards,

Alexander

it is possible to weaken the requirement that the union of R and "low bisimilarity" is symmetric to the one that R is symmetric.

Since if R is symmetric and "low bisimilarity" is symmetric,

(which we can conclude from the second theorem on slide 18)

I think, it follows that the union of both is symmetric.

On slide 50 and 55 I think the reference should be to slide 11 instead of 10.

And what is meant by

"In the rest of this module, we use probabilistic bisimulations

instead of strong probabilistic bisimulations.".

Does it mean:

"In the rest of this module, we use the term 'probabilistic bisimulation'

instead of the term 'strong probabilistic bisimulation'."

best regards,

Alexander