Publications of 2000   An Example of Performance Evaluation by using the Stochastic Process Algebra: ROSA F. Pelayo, F. Cuartero, V. Valero, D. Cazorla Proceedings of RTCSA'2000 Ed. IEEE Los Alamitos (U.S.A.) December,2000 Draft Version (PostScript)     Bibtex Entry A Tool to calculate mechanical forces on railway catenary J. Benet, F. Cuartero, T. Rojo Computer in Railways VII Ed. WIT Press Southampton (U.K.) October,2000 Draft Version (PostScript)     Bibtex Entry Un ejemplo de evaluación formal de prestaciones mediante el álgebra de procesos estocásticos: ROSA F. López Pelayo, F. Cuartero, V. Valero, D. Cazorla Proceedings of XXVI Conferencia Latinoamericana de Informática México D.F. (Mexico) September,2000 Decidability of Properties of Timed-Arc Petri Nets D. de Frutos, V.Valero, O. Marroquín Proceedings of . 21st Int. Conference on Application and Theory of Petri Nets, LNCS no. 1825,pp:187-206, Ed. Springer Verlang 2000 Aarhus (Denmark) June,2000 Draft Version (PostScript)     Bibtex Entry A Dynamic State Graph for a Timed Process Algebra J. J. Pardo, V. Valero, F. Cuartero Proceedings of SNPD'00 Ed. ACIS Reims (France) May,2000 Draft Version (PostScript)     Bibtex Entry A Denotational Model for Probabilistic and Nondeterministic Processes D. Cazorla, F. Cuartero, V. Valero, F. Pelayo Proceedings of International Workshop on Distributed System Validation and Verification Taipei (Taiwan) April,2000 Draft Version (PostScript)     Bibtex Entry A Dynamic State Graph for a Timed Process Algebra J. J. Pardo, V. Valero, F. Cuartero, M.Carmen Ruiz Actas de las VIII Jornadas de Concurrencia Cuenca (Spain)  June,2000 Draft Version (PostScript)     Bibtex Entry A process Algebra for Probabilistic and Nondeterministic Processes. Technical Report. DIAB-00-01-11 D.Cazorla, F.Cuartero, V.Valero, F.L.Pelayo. Postscript      Bibtex Entry