@inproceedings{sievenart2017mailbox,
  author: {Quentin Sti{\'{e}}venart and Jens Nicolay and Wolfgang De Meuter and Coen De Roover},
  editor: {Peter M{\"{u}}ller},
  title: {Mailbox Abstractions for Static Analysis of Actor Programs},
  booktitle: {31st European Conference on Object-Oriented Programming, {ECOOP} 2017, June 19-23, 2017, Barcelona, Spain},
  series: {LIPIcs},
  volume: {74},
  pages: {25:1--25:30},
  publisher: {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year: {2017},
  url: {https://doi.org/10.4230/LIPIcs.ECOOP.2017.25},
  doi: {10.4230/LIPIcs.ECOOP.2017.25},
}