Browsing Artículos by Author "Gebler, Daniel"
Now showing items 1-1 of 1
-
Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules
D'Argenio, Pedro Ruben; Gebler, Daniel; Lee, Matías David (2014)Probabilistic transition system specifications (PTSS) provide structural operational semantics for reactive probabilistic labeled transition systems. Bisimulation equivalences and bisimulation metrics are fundamental notions ...