Browsing Actas, Jornadas y Congresos by Subject "Branching bisimulations"
Now showing items 1-1 of 1
-
Rooted branching bisimulation as a congruence for probabilistic transition systems
(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 ...