Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/agere/BagherzadehR17,
  author       = {Mehdi Bagherzadeh and
                  Hridesh Rajan},
  editor       = {Joeri De Koster and
                  Federico Bergenti},
  title        = {Order types: static reasoning about message races in asynchronous
                  message passing concurrency},
  booktitle    = {Proceedings of the 7th {ACM} {SIGPLAN} International Workshop on Programming
                  Based on Actors, Agents, and Decentralized Control, {AGERE} 2017,
                  Vancouver, BC, Canada, October 23 - 27, 2017},
  pages        = {21--30},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3141834.3141837},
  doi          = {10.1145/3141834.3141837},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/agere/BagherzadehR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agere/BlessingCD17,
  author       = {Sebastian Blessing and
                  Sylvan Clebsch and
                  Sophia Drossopoulou},
  editor       = {Joeri De Koster and
                  Federico Bergenti},
  title        = {Tree topologies for causal message delivery},
  booktitle    = {Proceedings of the 7th {ACM} {SIGPLAN} International Workshop on Programming
                  Based on Actors, Agents, and Decentralized Control, {AGERE} 2017,
                  Vancouver, BC, Canada, October 23 - 27, 2017},
  pages        = {1--10},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3141834.3141835},
  doi          = {10.1145/3141834.3141835},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agere/BlessingCD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agere/LopezBSMM17,
  author       = {Carmen Torres Lopez and
                  Elisa Gonzalez Boix and
                  Christophe Scholliers and
                  Stefan Marr and
                  Hanspeter M{\"{o}}ssenb{\"{o}}ck},
  editor       = {Joeri De Koster and
                  Federico Bergenti},
  title        = {A principled approach towards debugging communicating event-loops},
  booktitle    = {Proceedings of the 7th {ACM} {SIGPLAN} International Workshop on Programming
                  Based on Actors, Agents, and Decentralized Control, {AGERE} 2017,
                  Vancouver, BC, Canada, October 23 - 27, 2017},
  pages        = {41--49},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3141834.3141839},
  doi          = {10.1145/3141834.3141839},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/agere/LopezBSMM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agere/Rodriguez-Avila17,
  author       = {Humberto Rodr{\'{\i}}guez{-}Avila and
                  Joeri De Koster and
                  Wolfgang De Meuter},
  editor       = {Joeri De Koster and
                  Federico Bergenti},
  title        = {Sparrow: a {DSL} for coordinating large groups of heterogeneous actors},
  booktitle    = {Proceedings of the 7th {ACM} {SIGPLAN} International Workshop on Programming
                  Based on Actors, Agents, and Decentralized Control, {AGERE} 2017,
                  Vancouver, BC, Canada, October 23 - 27, 2017},
  pages        = {31--40},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3141834.3141838},
  doi          = {10.1145/3141834.3141838},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/agere/Rodriguez-Avila17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agere/ShibanaiW17,
  author       = {Kazuhiro Shibanai and
                  Takuo Watanabe},
  editor       = {Joeri De Koster and
                  Federico Bergenti},
  title        = {Actoverse: a reversible debugger for actors},
  booktitle    = {Proceedings of the 7th {ACM} {SIGPLAN} International Workshop on Programming
                  Based on Actors, Agents, and Decentralized Control, {AGERE} 2017,
                  Vancouver, BC, Canada, October 23 - 27, 2017},
  pages        = {50--57},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3141834.3141840},
  doi          = {10.1145/3141834.3141840},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/agere/ShibanaiW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agere/WolkeHCS17,
  author       = {Sebastian W{\"{o}}lke and
                  Raphael Hiesgen and
                  Dominik Charousset and
                  Thomas C. Schmidt},
  editor       = {Joeri De Koster and
                  Federico Bergenti},
  title        = {Locality-guided scheduling in {CAF}},
  booktitle    = {Proceedings of the 7th {ACM} {SIGPLAN} International Workshop on Programming
                  Based on Actors, Agents, and Decentralized Control, {AGERE} 2017,
                  Vancouver, BC, Canada, October 23 - 27, 2017},
  pages        = {11--20},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3141834.3141836},
  doi          = {10.1145/3141834.3141836},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agere/WolkeHCS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/agere/2017,
  editor       = {Joeri De Koster and
                  Federico Bergenti},
  title        = {Proceedings of the 7th {ACM} {SIGPLAN} International Workshop on Programming
                  Based on Actors, Agents, and Decentralized Control, {AGERE} 2017,
                  Vancouver, BC, Canada, October 23 - 27, 2017},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3141834},
  doi          = {10.1145/3141834},
  isbn         = {978-1-4503-5516-2},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agere/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}