Reactive, Generative, and Stratified Models of Probabilistic Processes

@article{probabilisticprocesses-inco121,
   apice = {ProbabilisticprocessesInco121},
   author = {Vanglabbeek, Rob J. and Smolka, Scott A. and Steffen, Bernhard},
   doi = {10.1006/inco.1995.1123},
   issn = {0890-5401},
   journal = {Information and Computation},
   number = 1,
   pages = {59--80},
   title = {Reactive, Generative, and Stratified Models of Probabilistic Processes},
   url = {http://www.sciencedirect.com/science/article/pii/S0890540185711236},
   volume = 121,
   year = 1995
}