@INPROCEEDINGS{CCVP00,
  author = "D. Cazorla and F. Cuartero and V. Valero and F.L. Pelayo",
  title = "A Denotational Model for Probabilistic and Nondeterministic Processes",
  booktitle = "Proc.\ of the IEEE International Workshop on
         Distributed Systems Validation and Verification",
  pages = "E41--E48",
  editor =  {Ten H. Lai},
  year=2000,
  month= April,
  address={Taipei, Taiwan},
}