Search dblp for Publications

• > Home > Search

@proceedings{DBLP:conf/dtmpp/2003,
  editor       = {Jos{\'{e}}e Desharnais and
                  Prakash Panangaden},
  title        = {Proceedings of the Workshop on Domain Theoretic Methods for Probabilistic
                  Processes, {DTMPP} 2003, Barbados, April 21-25, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {87},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/87/suppl/C},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dtmpp/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DanosDP04,
  author       = {Vincent Danos and
                  Jos{\'{e}}e Desharnais and
                  Prakash Panangaden},
  editor       = {Jos{\'{e}}e Desharnais and
                  Prakash Panangaden},
  title        = {Labelled Markov Processes: Stronger and Faster Approximations},
  booktitle    = {Proceedings of the Workshop on Domain Theoretic Methods for Probabilistic
                  Processes, {DTMPP} 2003, Barbados, April 21-25, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {87},
  pages        = {157--203},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2004.09.018},
  doi          = {10.1016/J.ENTCS.2004.09.018},
  timestamp    = {Wed, 07 Dec 2022 09:46:53 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DanosDP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DesharnaisP04,
  author       = {Jos{\'{e}}e Desharnais and
                  Prakash Panangaden},
  editor       = {Jos{\'{e}}e Desharnais and
                  Prakash Panangaden},
  title        = {Preface},
  booktitle    = {Proceedings of the Workshop on Domain Theoretic Methods for Probabilistic
                  Processes, {DTMPP} 2003, Barbados, April 21-25, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {87},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2004.09.016},
  doi          = {10.1016/J.ENTCS.2004.09.016},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DesharnaisP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Escardo04,
  author       = {Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}}},
  editor       = {Jos{\'{e}}e Desharnais and
                  Prakash Panangaden},
  title        = {Synthetic Topology: of Data Types and Classical Spaces},
  booktitle    = {Proceedings of the Workshop on Domain Theoretic Methods for Probabilistic
                  Processes, {DTMPP} 2003, Barbados, April 21-25, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {87},
  pages        = {21--156},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2004.09.017},
  doi          = {10.1016/J.ENTCS.2004.09.017},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Escardo04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Jung04,
  author       = {Achim Jung},
  editor       = {Jos{\'{e}}e Desharnais and
                  Prakash Panangaden},
  title        = {Stably Compact Spaces and the Probabilistic Powerspace construction},
  booktitle    = {Proceedings of the Workshop on Domain Theoretic Methods for Probabilistic
                  Processes, {DTMPP} 2003, Barbados, April 21-25, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {87},
  pages        = {5--20},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2004.10.001},
  doi          = {10.1016/J.ENTCS.2004.10.001},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Jung04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Keimel04,
  author       = {Klaus Keimel},
  editor       = {Jos{\'{e}}e Desharnais and
                  Prakash Panangaden},
  title        = {The Probabilistic Powerdomain for Stably Compact Spaces via Compact
                  Ordered Spaces},
  booktitle    = {Proceedings of the Workshop on Domain Theoretic Methods for Probabilistic
                  Processes, {DTMPP} 2003, Barbados, April 21-25, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {87},
  pages        = {225--238},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2004.10.002},
  doi          = {10.1016/J.ENTCS.2004.10.002},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Keimel04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Laviolette04,
  author       = {Fran{\c{c}}ois Laviolette},
  editor       = {Jos{\'{e}}e Desharnais and
                  Prakash Panangaden},
  title        = {The Countable Character of Uncountable Graphs},
  booktitle    = {Proceedings of the Workshop on Domain Theoretic Methods for Probabilistic
                  Processes, {DTMPP} 2003, Barbados, April 21-25, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {87},
  pages        = {205--224},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2004.09.019},
  doi          = {10.1016/J.ENTCS.2004.09.019},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Laviolette04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}