Reactive, generative, and stratified models of probabilistic processes
['R.J. Glabbeek', 'Scott A. Smolka', 'Bernhard Steffen', 'Chris M. N. Tofts']
Reactive, generative, and stratified models of probabilistic processes