Reactive, generative and stratified models of probabilistic processes (1995)

by R J V Glabbeek, S A Smolka, B Steffen
Venue:Information and Computation