Browsing Ponencias 2015 by Author "Lee, Matías David"
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 ...