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


 Personal

  Curso: 2017-18. Cambiar a:  2016-17   2018-19

Nombre: TARASYUK, IGOR V.
despacho:
correo electrónico:
Detalle: Technical Report, Externo. Dr. Igor V. Tarasyuk Senior Researcher Theoretical Programming Laboratory A.P. Ershov Institute of Informatics Systems Siberian Branch of the Russian Academy of Sciences 6, Acad. Lavrentiev ave. 630 090 Novosibirsk Russia



Technical Reports
DIAB-10-03-1 2010-03-01 Discrete time stochastic Petri box calculus with immediate multiactions
DIAB-11-06-2 2011-06-28 Stochastic equivalence for modular performance evaluation in dtsiPBC
DIAB-12-10-2 2012-10-23 Applying stochastic equivalence to performance evaluation in dtsiPBC
DIAB-14-01-1 2014-01-28 Stochastic equivalence for performance evaluation of concurrent systems in dtsiPBC
DIAB-16-03-1 2016-03-11 Bisimulation equivalence and Performance Evaluation in dtsiPBC


 

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