Reactive, generative, and stratified models of probabilistic processes
Rob van Glabbeek, Scott A. Smolka, Bernhard Steffen, Chris Tofts · 2002
Reactive, generative, and stratified models are considered within the framework of PCCS, a specification language for probabilistic processes. A structural operational semantics of PCCS, given as a set of inference rules for each of the models, a notion of bisimulation semantics, and some conference proofs are presented.>