Accession Number : ADA325957

Title :   Reactive, Generative and Stratified Models of Probabilistic Processes,

Descriptive Note : Final rept.,

Corporate Author : STANFORD UNIV CA DEPT OF COMPUTER SCIENCE

Personal Author(s) : Van Glabbeek, Rob J. ; Smolka, Scott A. ; Steffen, Bernhard

PDF Url : ADA325957

Report Date : JUL 1994

Pagination or Media Count : 39

Abstract : We introduce three models of probabilistic processes, namely, reactive, generative and stratified. These models are investigated within the context of PCCS, an extension of Milner's SCCS in which each summand of a process summation expression is guarded by a probability and the sum of these probabilities is 1. For each model we present a structural operational semantics of PCCS and a notion of bisimulation equivalence which we prove to be a congruence. We also show that the models form a hierarchy: the reactive model is derivable from the generative model by abstraction from the relative probabilities of different actions, and the generative model is derivable from the stratified model by abstraction from the purely probabilistic branching structure. Moreover the classical nonprobabilistic model is derivable from each of these models by abstraction from all probabilities.

Descriptors :   *MATHEMATICAL MODELS, *STATISTICAL PROCESSES, ALGORITHMS, STATISTICAL INFERENCE, PROBABILITY, PROGRAMMING LANGUAGES, SEMANTICS, CONCURRENT ENGINEERING, SYSTEMS ANALYSIS, SYNTAX, MULTIPROGRAMMING, STRUCTURED PROGRAMMING.

Subject Categories : Statistics and Probability
      Operations Research
      Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE