| 2008 |
|---|
| 6 | EE | Hermenegilda Macià,
Valentín Valero Ruiz,
Fernando Cuartero,
David de Frutos-Escrig:
A congruence relation for sPBC.
Formal Methods in System Design 32(2): 85-128 (2008) |
| 5 | 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) |
| 2004 |
|---|
| 4 | EE | Hermenegilda Macià,
Valentín Valero Ruiz,
Diego Cazorla,
Fernando Cuartero:
Introducing the Iteration in sPBC.
FORTE 2004: 292-309 |
| 3 | 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 |
| 2 | EE | Fernando L. Pelayo,
Fernando Cuartero,
Valentín Valero Ruiz,
Hermenegilda Macià,
Maria L. Pelayo:
Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm.
MMM 2004: 49-56 |
| 2003 |
|---|
| 1 | EE | Hermenegilda Macià,
Valentín Valero Ruiz,
Fernando Cuartero,
Fernando L. Pelayo:
A New Synchronization in Finite Stochastic Petri Box Calculus.
ACSD 2003: 216- |
