Reactive, Generative and Stratified Models of Probabilistic Processes

Reactive, Generative and Stratified Models of Probabilistic Processes Rob J. van Glabbeek Scott A. Smolka Bernhard Steffen 59-80 Inf. Comput. August 1995 121 1 db/journals/iandc/iandc121.html#GlabbeekSS95