Publications of 1997 A Sound and Complete Proof System for Proabilistic. Processes F. Cuartero, D. De Frutos, V. Valero Lecture Notes in Computer Science Ed. Springer Verlag June,1997 Draft Version (PostScript)     Bibtex Entry A Timed-Probabilistic Model for Concurrent Processes A. Bueno, V. Valero, F. Cuartero Proceedings of Joint APSEC/ICS Ed IEEE Los Alamitos (U.S.A.) December,1997 Draft Version (PostScript)     Bibtex Entry TPA: Un modelo algebraico con probabilidades y tiempos basado en LOTOS A. Bueno, V. Valero, F. Cuartero, Actas de V Jornadas de Concurrencia Vigo (Spain) June,1997 Draft Version (PostScript)     Bibtex Entry