Browsing Facultad de Matemática, Astronomía, Física y Computación by Subject "Weak bisimulations"
Now showing items 1-1 of 1
-
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 ...