Browsing Artículos by Author "Lee, Matías David"
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 ...