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…