Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1110-4156,
  author       = {Nuno Alves and
                  Raymond Hu and
                  Nobuko Yoshida and
                  Pierre{-}Malo Deni{\'{e}}lou},
  editor       = {Kohei Honda and
                  Alan Mycroft},
  title        = {Secure Execution of Distributed Session Programs},
  booktitle    = {Proceedings Third Workshop on Programming Language Approaches to Concurrency
                  and communication-cEntric Software, {PLACES} 2010, Paphos, Cyprus,
                  21st March 2010},
  series       = {{EPTCS}},
  volume       = {69},
  pages        = {1--11},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.69.1},
  doi          = {10.4204/EPTCS.69.1},
  timestamp    = {Sun, 15 Jan 2023 14:37:53 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1110-4156.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1110-4157,
  author       = {Joana Campos and
                  Vasco T. Vasconcelos},
  editor       = {Kohei Honda and
                  Alan Mycroft},
  title        = {Channels as Objects in Concurrent Object-Oriented Programming},
  booktitle    = {Proceedings Third Workshop on Programming Language Approaches to Concurrency
                  and communication-cEntric Software, {PLACES} 2010, Paphos, Cyprus,
                  21st March 2010},
  series       = {{EPTCS}},
  volume       = {69},
  pages        = {12--28},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.69.2},
  doi          = {10.4204/EPTCS.69.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1110-4157.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1110-4159,
  author       = {Marco Carbone and
                  Davide Grohmann and
                  Thomas T. Hildebrandt and
                  Hugo A. L{\'{o}}pez},
  editor       = {Kohei Honda and
                  Alan Mycroft},
  title        = {A Logic for Choreographies},
  booktitle    = {Proceedings Third Workshop on Programming Language Approaches to Concurrency
                  and communication-cEntric Software, {PLACES} 2010, Paphos, Cyprus,
                  21st March 2010},
  series       = {{EPTCS}},
  volume       = {69},
  pages        = {29--43},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.69.3},
  doi          = {10.4204/EPTCS.69.3},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1110-4159.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1110-4160,
  author       = {Prodromos Gerakios and
                  Nikolaos Papaspyrou and
                  Konstantinos Sagonas},
  editor       = {Kohei Honda and
                  Alan Mycroft},
  title        = {A Type System for Unstructured Locking that Guarantees Deadlock Freedom
                  without Imposing a Lock Ordering},
  booktitle    = {Proceedings Third Workshop on Programming Language Approaches to Concurrency
                  and communication-cEntric Software, {PLACES} 2010, Paphos, Cyprus,
                  21st March 2010},
  series       = {{EPTCS}},
  volume       = {69},
  pages        = {44--58},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.69.4},
  doi          = {10.4204/EPTCS.69.4},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1110-4160.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1110-4161,
  author       = {Thomas T. Hildebrandt and
                  Raghava Rao Mukkamala},
  editor       = {Kohei Honda and
                  Alan Mycroft},
  title        = {Declarative Event-Based Workflow as Distributed Dynamic Condition
                  Response Graphs},
  booktitle    = {Proceedings Third Workshop on Programming Language Approaches to Concurrency
                  and communication-cEntric Software, {PLACES} 2010, Paphos, Cyprus,
                  21st March 2010},
  series       = {{EPTCS}},
  volume       = {69},
  pages        = {59--73},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.69.5},
  doi          = {10.4204/EPTCS.69.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1110-4161.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1110-4163,
  author       = {Keigo Imai and
                  Shoji Yuen and
                  Kiyoshi Agusa},
  editor       = {Kohei Honda and
                  Alan Mycroft},
  title        = {Session Type Inference in Haskell},
  booktitle    = {Proceedings Third Workshop on Programming Language Approaches to Concurrency
                  and communication-cEntric Software, {PLACES} 2010, Paphos, Cyprus,
                  21st March 2010},
  series       = {{EPTCS}},
  volume       = {69},
  pages        = {74--91},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.69.6},
  doi          = {10.4204/EPTCS.69.6},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1110-4163.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1110-4164,
  author       = {Julien Lange and
                  Emilio Tuosto},
  editor       = {Kohei Honda and
                  Alan Mycroft},
  title        = {A Modular Toolkit for Distributed Interactions},
  booktitle    = {Proceedings Third Workshop on Programming Language Approaches to Concurrency
                  and communication-cEntric Software, {PLACES} 2010, Paphos, Cyprus,
                  21st March 2010},
  series       = {{EPTCS}},
  volume       = {69},
  pages        = {92--110},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.69.7},
  doi          = {10.4204/EPTCS.69.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1110-4164.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1110-4165,
  author       = {Francisco Martins and
                  Vasco Thudichum Vasconcelos and
                  Tiago Cogumbreiro},
  editor       = {Kohei Honda and
                  Alan Mycroft},
  title        = {Types for {X10} Clocks},
  booktitle    = {Proceedings Third Workshop on Programming Language Approaches to Concurrency
                  and communication-cEntric Software, {PLACES} 2010, Paphos, Cyprus,
                  21st March 2010},
  series       = {{EPTCS}},
  volume       = {69},
  pages        = {111--129},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.69.8},
  doi          = {10.4204/EPTCS.69.8},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1110-4165.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1110-3853,
  editor       = {Kohei Honda and
                  Alan Mycroft},
  title        = {Proceedings Third Workshop on Programming Language Approaches to Concurrency
                  and communication-cEntric Software, {PLACES} 2010, Paphos, Cyprus,
                  21st March 2010},
  series       = {{EPTCS}},
  volume       = {69},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.69},
  doi          = {10.4204/EPTCS.69},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1110-3853.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.