23 citations · 100 across the 15 of their papers we have counts for
1 paper · 2 filters
Daniel Gebler, Simone Tini
Probabilistic transition system specifications using the rule format ntmuft-ntmuxt provide structural operational semantics for Segala-type systems and guarantee that probabilistic…