Reactive, Generative and Strati Models of Probabilistic Processes (1990)

by R van Glabbeek, S Smolka, B Steen, C Tofts
Venue:In IEEE Symposium on Logic in Computer Science