@INPROCEEDINGS{CdFV96,
  author = "F. Cuartero and D. de Frutos and V. Valero",
  title = "{PCSP}: A denotational model for probabilistic processes",
  booktitle = "Proceedings of Third AMAST Workshop on Real-Time Systems",
  year = "1996",
}