Search
Now showing items 1-1 of 1
Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules
(2014)
Probabilistic transition system specifications (PTSS) provide structural operational semantics for reactive probabilistic labeled transition systems. Bisimulation equivalences and bisimulation metrics are fundamental notions ...