1 citations · 1 across the 1 of their papers we have counts for
1 paper
Pedro Sánchez Terraf
We quickly review labelled Markov processes (LMP) and provide a counterexample showing that in general measurable spaces, event bisimilarity and state bisimilarity differ in LMP. T…