Publications of 2001   Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. J.J. Pardo, V. Valero, F. Cuartero, D. Cazorla Proceedings of APSEC'2001 Macau  December,2001 Draft Version (PostScript)     Bibtex Entry Reasoning about Probabilistic and Non-Deterministic Processes. D. Cazorla, F. Cuartero, V. Valero, F.L. Pelayo Actas de las I Jornadas sobre Programación y Lenguajes,PROLE 2001 Almagro (Spain) November,2001 Draft Version (PostScript)(In Spanish)     Bibtex Entry A Process Algebra for Probabilistic and Nondeterministic Processes D. Cazorla, F. Cuartero, V. Valero, F.L. Pelayo Information Processing Letters, October 2001 Ed. Elsevier Science Draft Version (PostScript)     Bibtex Entry Extending PBC with Markovian Multiactions. H. Macià, V. Valero, D. de Frutos y F. Cuartero Proceedings of XXVII Conferencia Latinoamericana de Informática Mérida (Venezuela) September,2001 Draft Version (PostScript)     Bibtex Entry sPBC: A Markovian Extension of Finite Petri Box Calculus Mere Macía, Valentín Valero, David de Frutos Proceedings of the 9th Int. Workshop on Petri Nets and Performance Models.PNPM'2001 Ed. IEEE Computer Society Press. Aachen (Germany) September,2001 Draft Version (PostScript)     Bibtex Entry PNAL: Un modelo algebraico para procesos probabilísticos y no deterministas. D. Cazorla Phd. Thesis  July,2001 Draft Version (PostScript)(In Spanish)     Bibtex Entry TPAL: Una herramienta de simulación de sistemas concurrentes con restricciones temporales. Juan José Pardo, Valentín Valero, M. Carmen Ruiz Actas XI Escuela de Verano de Informática de Universidad de Castilla-La Mancha. Albacete July,2001 Draft Version (In Spanish)(PostScript)     Bibtex Entry PEPA workbench: Una herramienta para evaluación de prestaciones basada en Álgebras de Procesos Fernando L. Pelayo, M. Carmen Ruiz, Diego Cazorla Actas XI Escuela de Verano de Informática de Universidad de Castilla-La Mancha. Albacete July,2001 Draft Version (In Spanish)(PostScript)     Bibtex Entry Pep. Una herramienta para traducir y analizar especificaciones de PBC con Redes de Petri Mere Macìa, Valentín Valero Actas XI Escuela de Verano de Informática de Universidad de Castilla-La Mancha. Albacete July,2001 Draft Version (In Spanish)(PostScript)       Bibtex Entry Modelado de Sistemas concurrentes con redes de Petri Valentín Valero, Antonio Bueno Actas XI Escuela de Verano de Informática de Universidad de Castilla-La Mancha. Albacete July,2001 Draft Version (In Spanish)(PostScript)       Bibtex Entry Specification and Performance of the MPEG-2 Video Encoder by Using the Stochastic Process Algebra: Rosa Fernando L. Pelayo, Fernando Cuartero, Valentín Valero, diego Cazorla, Teresa Olivares Proceedings of the 17th Annual UK Performance Engineering Workshop. UKPEW'2001. Leeds (U.K.) July,2001 Draft Version (PostScript)     Bibtex Entry sPBC: A Markovian Extension of Finite PBC Mere Macía, Valentín Valero, David de Frutos Actas de IX Jornadas de Concurrencia Sitges (Spain) June,2001 Draft Version (In Spanish)(PostScript)     Bibtex Entry Algebraic Theory of Probabilistic and Nondeterministic Processes. Technical Report. DIAB-01-01-19 D. Cazorla, F. Cuartero, V. Valero, F.L. Pelayo Postscript      Bibtex Entry Herramienta de Ayuda al Diseño y Evaluación de Sistemas Concurrentes. Juan José Pardo Mateo, Valentín Valero Ruiz Technical Report. DIAB-01-01-14 Postscript     Bibtex Entry Traslating a Timed Process Algebra into a Dynamic State Graph. Juan José Pardo Mateo, Valentín Valero Ruiz Technical Report. DIAB-01-01-12 Postscript     Bibtex Entry