Reactive, generative and strati models of probabilistic processes (1990)

by S A Smolka R J van Glabbeek, B Steen, C Tofts
Venue:Proc. 5th IEEE Int. Symp. on Logic in Computer Science (LICS