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 542.0K

 

Sindicación     Sindicación     Sindicación
Curso: 2017-18
© 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