Browsing Ponencias 2015 by Author "de Vink, Erik P."
Now showing items 1-1 of 1
-
Rooted branching bisimulation as a congruence for probabilistic transition systems
Lee, Matías David; de Vink, Erik P. (2015)We propose a probabilistic transition system specification format, referred to as probabilistic RBB safe, for which rooted branching bisimulation is a congruence. The congruence theorem is based on the approach of Fokkink ...