A Denotational Model for Probabilistic and Nondeterministic Processes

Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo. A Denotational Model for Probabilistic and Nondeterministic Processes. In Ten-Hwang Lai, editor, Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC. 2000.

@inproceedings{CazorlaCRP00,
  title = {A Denotational Model for Probabilistic and Nondeterministic Processes},
  author = {Diego Cazorla and Fernando Cuartero and Valentín Valero Ruiz and Fernando L. Pelayo},
  year = {2000},
  tags = {modeling, process modeling},
  researchr = {https://researchr.org/publication/CazorlaCRP00},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC},
  editor = {Ten-Hwang Lai},
}