Search the dblp DataBase
Luis A. Galán: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Luis A. Galán, Manuel Núñez, Cristóbal Pareja, Ricardo Pena
Non Homomorphic Reductions of Data Structures. [Citation Graph (0, 0)][DBLP]
GULP-PRODE (2), 1994, pp:393-407 [Conf] - Luis A. Galán, Cristóbal Pareja, Ricardo Pena
Functional Skeletons Generate Process Topologies in Eden. [Citation Graph (0, 0)][DBLP]
APPIA-GULP-PRODE, 1996, pp:245-258 [Conf] - Luis A. Galán, Ricardo Pena
Verification and Refinement of Distributed Programs in a Fair Framework. [Citation Graph (0, 0)][DBLP]
ARTS, 1997, pp:280-294 [Conf] - Ricardo Peña-Marí, Luis A. Galán
Proving Progress Properties of non Terminating Programs under Fairness Assumptions. [Citation Graph (0, 0)][DBLP]
Euro-Par, Vol. I, 1996, pp:775-778 [Conf] - Ricardo Peña-Marí, Luis A. Galán
Introducing Fairness in CSP Systems Specified with State Variables. [Citation Graph (0, 0)][DBLP]
PARLE, 1994, pp:757-760 [Conf] - Luis A. Galán, Cristóbal Pareja, Ricardo Pena
Functional Skeletons Generate Process Topologies in Eden. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:289-303 [Conf]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002