4 citations · 11 across the 7 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.LO2010★ 4 cited
Bisimulations for Nondeterministic Labeled Markov Processes
Pedro D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick
We extend the theory of labeled Markov processes with internal nondeterminism, a fundamental concept for the further development of a process theory with abstraction on nondetermin…
cs.LO2010★ 1 cited
Unprovability of the Logical Characterization of Bisimulation
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…