GSOS for probabilistic transition systems (2002)

by F Bartels
Venue:Proc. CMCS’02, volume 65 of Electronic Notes in Theoretical Computer Science