Universidad de Castilla-La Mancha
 
Departamento de Sistemas Informáticos





 
Technical Report
  
Código: DIAB-00-01-11
Fecha Publicación: 01-11-2000
Título: A Process Algebra for Probabilistic and Nondeterministic Processes
Detalle: Formal methods, Probability, Nondeterminism



 
Autores
  
Autor Detalles
CAZORLA LÓPEZ, DIEGO
CUARTERO GÓMEZ, FERNANDO
LÓPEZ PELAYO, FERNANDO
VALERO RUIZ, VALENTIN



 
Ficheros
  
Fichero Bytes Detalles
diab000111.ps 555,022 Experimental Material

 

Sindicación     Sindicación     Sindicación
Curso: 2012-13
© Departamento de Sistemas Informáticos
 ESII - Avda. de España s/n
02071 Albacete
Tfno: 967 59 92 00 - Fax: 967 59 92 24
aviso legal