Title :
Reactive, generative, and stratified models of probabilistic processes
Author :
Van Glabbeek, Rob ; Smolka, Scott A. ; Steffen, Bernhard ; Tofts, Chris M N
Author_Institution :
CWI, Amsterdam, Netherlands
Abstract :
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
Keywords :
formal logic; inference mechanisms; probability; specification languages; PCCS; bisimulation semantics; conference proofs; generative models; inference rules; probabilistic processes; reactive models; specification language; stratified models; structural operational semantics; Computer science; Concurrent computing; Operating systems; Pressing; Probability distribution; USA Councils;
Conference_Titel :
Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e
Conference_Location :
Philadelphia, PA
Print_ISBN :
0-8186-2073-0
DOI :
10.1109/LICS.1990.113740
