GSOS for non-deterministic processes with quantitative aspects. (2014)

by M Miculan, M Peressotti
Venue:In Proc. QAPL,