Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/abs-1708-02319,
  author       = {Dan R. Ghica and
                  Khulood AlYahya},
  editor       = {Massimo Bartoletti and
                  Laura Bocchi and
                  Ludovic Henrio and
                  Sophia Knight},
  title        = {On the Learnability of Programming Language Semantics},
  booktitle    = {Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec
                  2017, Neuch{\^{a}}tel, Switzerland, 21-22nd June 2017},
  series       = {{EPTCS}},
  volume       = {261},
  pages        = {57--75},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.261.7},
  doi          = {10.4204/EPTCS.261.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1708-02319.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1711-11208,
  author       = {Tobias Prehn and
                  Stephan Mennicke},
  editor       = {Massimo Bartoletti and
                  Laura Bocchi and
                  Ludovic Henrio and
                  Sophia Knight},
  title        = {Keep it Fair: Equivalences},
  booktitle    = {Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec
                  2017, Neuch{\^{a}}tel, Switzerland, 21-22nd June 2017},
  series       = {{EPTCS}},
  volume       = {261},
  pages        = {5--16},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.261.4},
  doi          = {10.4204/EPTCS.261.4},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-11208.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1711-11209,
  author       = {Franco Barbanera and
                  Ugo de'Liguoro},
  editor       = {Massimo Bartoletti and
                  Laura Bocchi and
                  Ludovic Henrio and
                  Sophia Knight},
  title        = {Session Types for Orchestrated Interactions},
  booktitle    = {Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec
                  2017, Neuch{\^{a}}tel, Switzerland, 21-22nd June 2017},
  series       = {{EPTCS}},
  volume       = {261},
  pages        = {17--36},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.261.5},
  doi          = {10.4204/EPTCS.261.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-11209.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1711-11210,
  author       = {Chiara Bodei and
                  Pierpaolo Degano and
                  Letterio Galletta and
                  Emilio Tuosto},
  editor       = {Massimo Bartoletti and
                  Laura Bocchi and
                  Ludovic Henrio and
                  Sophia Knight},
  title        = {Tool Supported Analysis of IoT},
  booktitle    = {Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec
                  2017, Neuch{\^{a}}tel, Switzerland, 21-22nd June 2017},
  series       = {{EPTCS}},
  volume       = {261},
  pages        = {37--56},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.261.6},
  doi          = {10.4204/EPTCS.261.6},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-11210.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1711-11211,
  author       = {Lu{\'{\i}}s Cruz{-}Filipe and
                  Fabrizio Montesi},
  editor       = {Massimo Bartoletti and
                  Laura Bocchi and
                  Ludovic Henrio and
                  Sophia Knight},
  title        = {On Asynchrony and Choreographies},
  booktitle    = {Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec
                  2017, Neuch{\^{a}}tel, Switzerland, 21-22nd June 2017},
  series       = {{EPTCS}},
  volume       = {261},
  pages        = {76--90},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.261.8},
  doi          = {10.4204/EPTCS.261.8},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-11211.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1711-10708,
  editor       = {Massimo Bartoletti and
                  Laura Bocchi and
                  Ludovic Henrio and
                  Sophia Knight},
  title        = {Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec
                  2017, Neuch{\^{a}}tel, Switzerland, 21-22nd June 2017},
  series       = {{EPTCS}},
  volume       = {261},
  year         = {2017},
  url          = {http://arxiv.org/abs/1711.10708},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-10708.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}