Luis A. Galán

According to our database, Luis A. Galán authored at least 5 papers between 1994 and 1997.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1997

Verification and Refinement of Distributed Programs in a Fair Framework.

Luis A. Galán, Ricardo Pena

Proceedings of the Transformation-Based Reactive Systems Development, 1997

1996

Proving Progress Properties of non Terminating Programs under Fairness Assumptions.

Ricardo Peña-Marí, Luis A. Galán

Proceedings of the Euro-Par '96 Parallel Processing, 1996

Functional Skeletons Generate Process Topologies in Eden.

Luis A. Galán, Cristóbal Pareja, Ricardo Pena

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1994

Introducing Fairness in CSP Systems Specified with State Variables.

Ricardo Peña-Marí, Luis A. Galán

Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

Non Homomorphic Reductions of Data Structures.

Luis A. Galán, Manuel Núñez, Cristóbal Pareja, Ricardo Pena

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994