Browsing by Author "de Vink, Erik P."
Now showing items 1-2 of 2
-
Logical characterization of bisimulation for transition relations over probability distributions with internal actions
Lee, Matías David; de Vink, Erik P. (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 ... -
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 ...