Luis A. Galán

Publication Activity (10 Years)

Years Active: 1994-1997
Publications (10 Years): 0

Publications

Luis A. Galán, Ricardo Pena
Verification and Refinement of Distributed Programs in a Fair Framework. ARTS (1997)
Luis A. Galán, Cristóbal Pareja, Ricardo Pena
Functional Skeletons Generate Process Topologies in Eden. PLILP (1996)
Luis A. Galán, Cristóbal Pareja, Ricardo Pena
Functional Skeletons Generate Process Topologies in Eden. APPIA-GULP-PRODE (1996)
Ricardo Peña-Marí, Luis A. Galán
Proving Progress Properties of non Terminating Programs under Fairness Assumptions. Euro-Par, Vol. I (1996)
Ricardo Peña-Marí, Luis A. Galán
Introducing Fairness in CSP Systems Specified with State Variables. PARLE (1994)
Luis A. Galán, Manuel Núñez, Cristóbal Pareja, Ricardo Pena
Non Homomorphic Reductions of Data Structures. GULP-PRODE (2) (1994)