Search
Now showing items 1-2 of 2
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 ...
Logical characterization of bisimulation for transition relations over probability distributions with internal actions
(2016)
In recent years the study of probabilistic transition systems has shifted to transition relations over distributions to allow for a smooth adaptation of the standard non-probabilistic apparatus. In this paper we study ...