Publications of 1996 A Denotational Model for Probabilistic Processes F. Cuartero, D. De Frutos, V. Valero Proceedings of 3rd AMAST Workshop on Real Time Systems Salt Lake City.(U.S.A.) April,1996 Draft Version (PostScript)     Bibtex Entry