 | 2009 |
|---|
| 9 |       | M. Carmen Ruiz,
Diego Cazorla,
Fernando Cuartero,
Hermenegilda Macià:
Improving performance in flexible manufacturing systems.
J. Log. Algebr. Program. 78(4): 260-273 (2009) |
| 8 | | Valentin Valero,
María-Emilia Cambronero,
Gregorio Díaz,
Hermenegilda Macià:
A Petri net approach for the design and analysis of Web Services Choreographies.
J. Log. Algebr. Program. 78(5): 359-380 (2009) |
| 7 | | Valentin Valero,
Gregorio Díaz,
María-Emilia Cambronero,
Hermenegilda Macià:
A barred operational semantics for a subset of WS-CDL with time restrictions.
J. Log. Algebr. Program. 78(8): 730-748 (2009) |
| 2008 |
|---|
| 6 | | 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 | | 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 | | Hermenegilda Macià,
Valentín Valero Ruiz,
Diego Cazorla,
Fernando Cuartero:
Introducing the Iteration in sPBC.
FORTE 2004: 292-309 |
| 3 | | 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 | | 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 | | Hermenegilda Macià,
Valentín Valero Ruiz,
Fernando Cuartero,
Fernando L. Pelayo:
A New Synchronization in Finite Stochastic Petri Box Calculus.
ACSD 2003: 216- |
