most citedTree rules in probabilistic transition system specifications with negative and quantitative premises

17 citations · 17 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2012★ 17 cited

Tree rules in probabilistic transition system specifications with negative and quantitative premises

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…