@inproceedings{a666d1ee14764142aa9ea02af09fee94,
title = "Reactive, generative, and stratified models of probabilistic processes",
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.",
author = "\{van Glabbeek\}, Rob and Smolka, \{Scott A.\} and Bernhard Steffen and Tofts, \{Chris M.N.\}",
year = "1990",
language = "English",
isbn = "0818620730",
series = "Proceedings - Symposium on Logic in Computer Science",
publisher = "Publ by IEEE",
pages = "130--141",
booktitle = "Computer Science",
note = "Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science ; Conference date: 04-06-1990 Through 07-06-1990",
}