| Technical Reports |
| DIAB-00-01-11 |
2000-11-01 |
A Process Algebra for Probabilistic and Nondeterministic Processes |
| DIAB-01-01-12 |
2003-03-31 |
Translating a timed process algebra into dynamic stage graphs |
| DIAB-01-01-14 |
2001-01-01 |
Herramientas de ayuda al diseño y evaluación de sistemas concurrentes |
| DIAB-01-01-19 |
2001-09-01 |
Algebraic Theory of Probabilistic and Nondeterministic Processes |
| DIAB-02-01-25 |
2002-01-01 |
NEW FEATURES OF TPAL FOR THE SPECIFICATION AND ANALISIS OF CONCURRENT SYSTEMS |
| DIAB-02-01-26 |
2002-06-01 |
A new proposal for the synchronization in SPBC |
| DIAB-02-01-31 |
2002-10-01 |
A Congruence relation in finite sPBC |
| DIAB-02-01-32 |
2002-11-01 |
Analysis of the MPEG-2 Encoding Algorithm with ROSA |
| DIAB-03-01-37 |
2003-09-17 |
Introducing the iteration in sPBC |
| DIAB-04-10-1 |
2004-10-26 |
Simulation and Visualization of Timed-Arcs Petri Nets in TPAL |
| DIAB-06-05-1 |
2006-05-17 |
WS-CDL to Timed Automata Translation |
| DIAB-09-04-1 |
2009-04-16 |
Web Services Choreographies Verification |
| DIAB-09-04-3 |
2009-04-20 |
A comparative study between WSCI, WS-CDL, and OWL-S |
| 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-11-11-1 |
2011-11-16 |
Automatic Translation from WS-CDL to Prioritized-Timed Colored Petri Nets by using WST Tool. |
| DIAB-12-04-2 |
2012-04-24 |
A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF |
| DIAB-12-10-2 |
2012-10-23 |
Applying stochastic equivalence to performance evaluation in dtsiPBC |
| DIAB-98-01-02 |
1998-10-01 |
A Denotational Model for Probabilistic and Nondeterministic Processes |
| DIAB-99-01-05 |
1999-01-05 |
Prototipo de una herramienta de ejecucion de especificaciones en tpal. |
