Reactive, generative, and stratified models of probabilistic processes

R.J. van Glabbeek, S.A. Smolka, B. Steffen

Research output: Contribution to journalArticlepeer-review

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 of the relative probabilities of different actions, and the generative model is derivable from the stratified model by abstraction of the purely probabilistic branching structure. Moreover the classical nonprobabilistic model is derivable from each of these models by abstraction from all probabilities.
Original languageEnglish
Pages (from-to)59-80
Number of pages22
JournalInformation and Computation
Volume121
Issue number1
DOIs
Publication statusPublished - 15 Aug 1995

Fingerprint

Dive into the research topics of 'Reactive, generative, and stratified models of probabilistic processes'. Together they form a unique fingerprint.

Cite this