Publications of 1995 Timed Processes of Timed Petri Nets V. Valero, D. De Frutos, F. Cuartero Lecture Notes in Computer Science June,1995 Ed.Springer Verlag A Simulation Tool of Parallel Architectures for Digital Image Processing Applications based on DLX Processors V. Valero, F. Cuartero,A. Garrido, F. Quiles Proc. of 1st ICIP Ed. IEEE Los Alamitos. USA Octuber,1995 Timed Processes of Timed Petri Nets V. Valero, D. De Frutos, F. Cuartero Actas de IV Jornadas de Concurrencia El Escorial (Spain) June,1995 Semántica Denotacional y Sistema de Prueba de CSP Probabilístico F. Cuartero, D. De Frutos, V. Valero Actas de IV Jornadas de Concurrencia El Escorial (Spain). June,1995 Simulation of Parallel Architectures based on DLX processors by an Event-Driven approach V. Valero, F. Cuartero,A. Garrido, F. Quiles Proceedings of Internacional Conference on Signal Processing Applications and Technology Boston. (U.S.A.) October,1995