|
П |
Discrete time stochastic Petri box calculus with immediate multiactions |
2010 |
Tarasyuk I. V., Macia H., Valerio V. |
|
|
Univ. de Castilla-La Mancha |
|
12.05.2010 |
|
СТ |
Introducing the Iteration in sPBC |
2004 |
Macia H., Valero V., Cazorla D., Cuatero F. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
21.01.2005 |
|
СТ |
A Bounded True Concurrency Process Algebra for Performance Evaluation |
2004 |
Ruiz M. C., Cazorla D., Cuatero F., Pardo J. J., Macia H. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.12.2004 |
