GSOS for probabilistic transition systems (2002)

by F Bartels
Venue:In: Proc. CMCS’02. ENTCS