Non Homomorphic Reductions of Data Structures. - Luis A. Galán; Manuel Núñez 001; Cristóbal Pareja; Ricardo Pena (GULP-PRODE (2), 1994)

Introducing Fairness in CSP Systems Specified with State Variables. - Ricardo Peña-Marí; Luis A. Galán (PARLE, 1994)

Functional Skeletons Generate Process Topologies in Eden. - Luis A. Galán; Cristóbal Pareja; Ricardo Pena (APPIA-GULP-PRODE, 1996)

Proving Progress Properties of non Terminating Programs under Fairness Assumptions. - Ricardo Peña-Marí; Luis A. Galán (Euro-Par, Vol. I, 1996)

Verification and Refinement of Distributed Programs in a Fair Framework. - Luis A. Galán; Ricardo Pena (ARTS, 1997)