| 2008 |
|---|
| 7 | EE | Hermenegilda Macià,
Valentin Valero,
Fernando Cuartero,
M. Carmen Ruiz:
sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions.
Fundam. Inform. 87(3-4): 367-406 (2008) |
| 2006 |
|---|
| 6 | EE | M. Carmen Ruiz,
Diego Cazorla,
Fernando Cuartero,
Juan José Pardo:
Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra.
CIMCA/IAWTIC 2006: 46 |
| 5 | EE | M. Carmen Ruiz,
Diego Cazorla,
Fernando Cuartero,
Juan José Pardo:
Analysis of the SET e-commerce protocol using a true concurrency process algebra.
SAC 2006: 879-886 |
| 4 | EE | M. Carmen Ruiz,
Diego Cazorla,
Fernando Cuartero,
Juan José Pardo:
Process Algebra Specification of Flexible Manufacturing Systems.
SYNASC 2006: 181-186 |
| 2005 |
|---|
| 3 | EE | Juan José Pardo,
Valentín Valero Ruiz,
M. Carmen Ruiz,
Fernando Cuartero,
Gregorio Díaz:
Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes.
Australian Software Engineering Conference 2005: 118-127 |
| 2 | EE | M. Carmen Ruiz,
Diego Cazorla,
Fernando Cuartero,
Juan José Pardo:
A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol.
SYNASC 2005: 239-244 |
| 2004 |
|---|
| 1 | EE | M. Carmen Ruiz,
Diego Cazorla,
Fernando Cuartero,
Juan José Pardo,
Hermenegilda Macià:
A Bounded True Concurrency Process Algebra for Performance Evaluation.
FORTE Workshops 2004: 143-155 |
