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





 
Technical Report
 
Código: DIAB-02-01-31
Fecha Publicación: 01-10-2002
Título: A Congruence relation in finite sPBC
Detalle: Stochatic Process Algebras, Petri Box Calculus, Stochastic Petri Nets.



 
Autores
 
Autor Detalles
CUARTERO GÓMEZ, FERNANDO
MACIA SOLER, HERMENEGILDA
VALERO RUIZ, VALENTIN



 
Ficheros
 
Fichero Bytes Detalles
reportcong.pdf 425.1K

 

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