17 citations · 17 across the 1 of their papers we have counts for
1 paper · 1 filter
Matias David Lee, Daniel Gebler, Pedro R. D'Argenio
Probabilistic transition system specifications (PTSSs) in the ntmufnu/ntmuxnu format provide structural operational semantics for Segala-type systems that exhibit both probabilisti…