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

by R J van Glabbeek, S A Smolka, B Steen
Venue:Information and Computation