| 1997 |
|---|
| 6 | | Luis A. Galán,
Ricardo Pena:
Verification and Refinement of Distributed Programs in a Fair Framework.
ARTS 1997: 280-294 |
| 1996 |
|---|
| 5 | | Luis A. Galán,
Cristóbal Pareja,
Ricardo Pena:
Functional Skeletons Generate Process Topologies in Eden.
APPIA-GULP-PRODE 1996: 245-258 |
| 4 | | Ricardo Peña-Marí,
Luis A. Galán:
Proving Progress Properties of non Terminating Programs under Fairness Assumptions.
Euro-Par, Vol. I 1996: 775-778 |
| 3 | | Luis A. Galán,
Cristóbal Pareja,
Ricardo Pena:
Functional Skeletons Generate Process Topologies in Eden.
PLILP 1996: 289-303 |
| 1994 |
|---|
| 2 | | Luis A. Galán,
Manuel Núñez,
Cristóbal Pareja,
Ricardo Pena:
Non Homomorphic Reductions of Data Structures.
GULP-PRODE (2) 1994: 393-407 |
| 1 | | Ricardo Peña-Marí,
Luis A. Galán:
Introducing Fairness in CSP Systems Specified with State Variables.
PARLE 1994: 757-760 |
