BibTeX records: Luis A. Galán

• > Home > Persons > Luis A. Galán

@inproceedings{DBLP:conf/arts/GalanP97,
  author       = {Luis A. Gal{\'{a}}n and
                  Ricardo Pena},
  editor       = {Miquel Bertran and
                  Teodor Rus},
  title        = {Verification and Refinement of Distributed Programs in a Fair Framework},
  booktitle    = {Transformation-Based Reactive Systems Development, 4th International
                  {AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
                  Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1231},
  pages        = {280--294},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63010-4\_19},
  doi          = {10.1007/3-540-63010-4\_19},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/arts/GalanP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/GalanPP96,
  author       = {Luis A. Gal{\'{a}}n and
                  Crist{\'{o}}bal Pareja and
                  Ricardo Pena},
  editor       = {Paqui Lucio and
                  Maurizio Martelli and
                  Marisa Navarro},
  title        = {Functional Skeletons Generate Process Topologies in Eden},
  booktitle    = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96,
                  Donostia-San Sebastian, Spain, July 15-18, 1996},
  pages        = {245--258},
  year         = {1996},
  timestamp    = {Thu, 02 Dec 2004 11:12:18 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/GalanPP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/europar/Pen-MariG96,
  author       = {Ricardo Pe{\~{n}}a{-}Mar{\'{\i}} and
                  Luis A. Gal{\'{a}}n},
  editor       = {Luc Boug{\'{e}} and
                  Pierre Fraigniaud and
                  Anne Mignotte and
                  Yves Robert},
  title        = {Proving Progress Properties of non Terminating Programs under Fairness
                  Assumptions},
  booktitle    = {Euro-Par '96 Parallel Processing, Second International Euro-Par Conference,
                  Lyon, France, August 26-29, 1996, Proceedings, Volume {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1123},
  pages        = {775--778},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61626-8\_101},
  doi          = {10.1007/3-540-61626-8\_101},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/Pen-MariG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plilp/GalanPP96,
  author       = {Luis A. Gal{\'{a}}n and
                  Crist{\'{o}}bal Pareja and
                  Ricardo Pena},
  editor       = {Herbert Kuchen and
                  S. Doaitse Swierstra},
  title        = {Functional Skeletons Generate Process Topologies in Eden},
  booktitle    = {Programming Languages: Implementations, Logics, and Programs, 8th
                  International Symposium, PLILP'96, Aachen, Germany, September 24-27,
                  1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1140},
  pages        = {289--303},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61756-6\_92},
  doi          = {10.1007/3-540-61756-6\_92},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/GalanPP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/GalanNPP94,
  author       = {Luis A. Gal{\'{a}}n and
                  Manuel N{\'{u}}{\~{n}}ez and
                  Crist{\'{o}}bal Pareja and
                  Ricardo Pena},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Roberto Barbuti and
                  Isidro Ramos},
  title        = {Non Homomorphic Reductions of Data Structures},
  booktitle    = {1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Pe{\~{n}}iscola,
                  Spain, September 19-22, 1994, Volume 2},
  pages        = {393--407},
  year         = {1994},
  timestamp    = {Fri, 25 Aug 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/agp/GalanNPP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/parle/PenaMariG94,
  author       = {Ricardo Pe{\~{n}}a{-}Mar{\'{\i}} and
                  Luis A. Gal{\'{a}}n},
  editor       = {Constantine Halatsis and
                  Dimitris G. Maritsas and
                  George Philokyprou and
                  Sergios Theodoridis},
  title        = {Introducing Fairness in {CSP} Systems Specified with State Variables},
  booktitle    = {{PARLE} '94: Parallel Architectures and Languages Europe, 6th International
                  {PARLE} Conference, Athens, Greece, July 4-8, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {817},
  pages        = {757--760},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58184-7\_150},
  doi          = {10.1007/3-540-58184-7\_150},
  timestamp    = {Fri, 17 Jul 2020 16:12:46 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/PenaMariG94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}