@inproceedings{GlabbeekSST90,
  title = {Reactive, Generative, and Stratified Models of Probabilistic Processes},
  author = {Rob J. van Glabbeek and Scott A. Smolka and Bernhard Steffen and Chris M. N. Tofts},
  year = {1990},
  tags = {modeling, process modeling},
  researchr = {https://researchr.org/publication/GlabbeekSST90},
  cites = {0},
  citedby = {0},
  pages = {130-141},
  booktitle = {lics},
}