Search
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 ...