DocumentCode
2716885
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
fYear
1990
fDate
4-7 Jun 1990
Firstpage
130
Lastpage
141
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/LICS.1990.113740
Filename
113740
Link To Document