GSOS for probabilistic transition systems (extended abstract (2002)

by Falk Bartels
Venue:Proc. Coalgebraic Methods in Computer Science (CMCS 2002), volume 65 of Electronic Notes in Theoretical Computer Science