Reactive, Generative, and Stratified Models of Probabilistic Processes

Rob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen, Chris M. N. Tofts

Browse the full LICS paper archive.