Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs137.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/BocchiD13,
  author       = {Laura Bocchi and
                  Romain Demangeon},
  editor       = {Nobuko Yoshida and
                  Wim Vanderbauwhede},
  title        = {Embedding Session Types in {HML}},
  booktitle    = {Proceedings 6th Workshop on Programming Language Approaches to Concurrency
                  and Communication-cEntric Software, {PLACES} 2013, Rome, Italy, 23rd
                  March 2013},
  series       = {{EPTCS}},
  volume       = {137},
  pages        = {53--62},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.137.5},
  doi          = {10.4204/EPTCS.137.5},
  timestamp    = {Fri, 27 Mar 2020 08:38:55 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BocchiD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/DemeyerV13,
  author       = {Romain Demeyer and
                  Wim Vanhoof},
  editor       = {Nobuko Yoshida and
                  Wim Vanderbauwhede},
  title        = {Static Application-Level Race Detection in {STM} Haskell using Contracts},
  booktitle    = {Proceedings 6th Workshop on Programming Language Approaches to Concurrency
                  and Communication-cEntric Software, {PLACES} 2013, Rome, Italy, 23rd
                  March 2013},
  series       = {{EPTCS}},
  volume       = {137},
  pages        = {115--134},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.137.10},
  doi          = {10.4204/EPTCS.137.10},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/DemeyerV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/DobsonDP13,
  author       = {Simon Dobson and
                  Alan Dearle and
                  Barry Porter},
  editor       = {Nobuko Yoshida and
                  Wim Vanderbauwhede},
  title        = {Minimising virtual machine support for concurrency},
  booktitle    = {Proceedings 6th Workshop on Programming Language Approaches to Concurrency
                  and Communication-cEntric Software, {PLACES} 2013, Rome, Italy, 23rd
                  March 2013},
  series       = {{EPTCS}},
  volume       = {137},
  pages        = {135--141},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.137.11},
  doi          = {10.4204/EPTCS.137.11},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/DobsonDP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/GiustoP13,
  author       = {Cinzia Di Giusto and
                  Jorge A. P{\'{e}}rez},
  editor       = {Nobuko Yoshida and
                  Wim Vanderbauwhede},
  title        = {Session Types with Runtime Adaptation: Overview and Examples},
  booktitle    = {Proceedings 6th Workshop on Programming Language Approaches to Concurrency
                  and Communication-cEntric Software, {PLACES} 2013, Rome, Italy, 23rd
                  March 2013},
  series       = {{EPTCS}},
  volume       = {137},
  pages        = {21--32},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.137.3},
  doi          = {10.4204/EPTCS.137.3},
  timestamp    = {Wed, 02 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/GiustoP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Hirai13,
  author       = {Yoichi Hirai},
  editor       = {Nobuko Yoshida and
                  Wim Vanderbauwhede},
  title        = {Session Types in Abelian Logic},
  booktitle    = {Proceedings 6th Workshop on Programming Language Approaches to Concurrency
                  and Communication-cEntric Software, {PLACES} 2013, Rome, Italy, 23rd
                  March 2013},
  series       = {{EPTCS}},
  volume       = {137},
  pages        = {33--52},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.137.4},
  doi          = {10.4204/EPTCS.137.4},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/Hirai13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/MarquesMVNM13,
  author       = {Eduardo R. B. Marques and
                  Francisco Martins and
                  Vasco T. Vasconcelos and
                  Nicholas Ng and
                  Nuno Martins},
  editor       = {Nobuko Yoshida and
                  Wim Vanderbauwhede},
  title        = {Towards deductive verification of {MPI} programs against session types},
  booktitle    = {Proceedings 6th Workshop on Programming Language Approaches to Concurrency
                  and Communication-cEntric Software, {PLACES} 2013, Rome, Italy, 23rd
                  March 2013},
  series       = {{EPTCS}},
  volume       = {137},
  pages        = {103--113},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.137.9},
  doi          = {10.4204/EPTCS.137.9},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/MarquesMVNM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Neykova13,
  author       = {Rumyana Neykova},
  editor       = {Nobuko Yoshida and
                  Wim Vanderbauwhede},
  title        = {Session Types Go Dynamic or How to Verify Your Python Conversations},
  booktitle    = {Proceedings 6th Workshop on Programming Language Approaches to Concurrency
                  and Communication-cEntric Software, {PLACES} 2013, Rome, Italy, 23rd
                  March 2013},
  series       = {{EPTCS}},
  volume       = {137},
  pages        = {95--102},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.137.8},
  doi          = {10.4204/EPTCS.137.8},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Neykova13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Padovani13,
  author       = {Luca Padovani},
  editor       = {Nobuko Yoshida and
                  Wim Vanderbauwhede},
  title        = {From Lock Freedom to Progress Using Session Types},
  booktitle    = {Proceedings 6th Workshop on Programming Language Approaches to Concurrency
                  and Communication-cEntric Software, {PLACES} 2013, Rome, Italy, 23rd
                  March 2013},
  series       = {{EPTCS}},
  volume       = {137},
  pages        = {3--19},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.137.2},
  doi          = {10.4204/EPTCS.137.2},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/Padovani13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/TousimojaradV13,
  author       = {Ashkan Tousimojarad and
                  Wim Vanderbauwhede},
  editor       = {Nobuko Yoshida and
                  Wim Vanderbauwhede},
  title        = {The Glasgow Parallel Reduction Machine: Programming Shared-memory
                  Many-core Systems using Parallel Task Composition},
  booktitle    = {Proceedings 6th Workshop on Programming Language Approaches to Concurrency
                  and Communication-cEntric Software, {PLACES} 2013, Rome, Italy, 23rd
                  March 2013},
  series       = {{EPTCS}},
  volume       = {137},
  pages        = {79--94},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.137.7},
  doi          = {10.4204/EPTCS.137.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/TousimojaradV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Uustalu13,
  author       = {Tarmo Uustalu},
  editor       = {Nobuko Yoshida and
                  Wim Vanderbauwhede},
  title        = {Coinductive Big-Step Semantics for Concurrency},
  booktitle    = {Proceedings 6th Workshop on Programming Language Approaches to Concurrency
                  and Communication-cEntric Software, {PLACES} 2013, Rome, Italy, 23rd
                  March 2013},
  series       = {{EPTCS}},
  volume       = {137},
  pages        = {63--78},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.137.6},
  doi          = {10.4204/EPTCS.137.6},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Uustalu13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/YoshidaV13,
  editor       = {Nobuko Yoshida and
                  Wim Vanderbauwhede},
  title        = {Proceedings 6th Workshop on Programming Language Approaches to Concurrency
                  and Communication-cEntric Software, {PLACES} 2013, Rome, Italy, 23rd
                  March 2013},
  series       = {{EPTCS}},
  volume       = {137},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.137},
  doi          = {10.4204/EPTCS.137},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/YoshidaV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.