@misc{stievenart2017mailboxartifact,
  author: {Quentin Sti{\'{e}}venart and Jens Nicolay and Wolfgang De Meuter and Coen De Roover},
  title: {Mailbox Abstractions for Static Analysis of Actor Programs (Artifact)},
  journal: {{DARTS}},
  volume: {3},
  number: {2},
  pages: {11:1--11:2},
  year: {2017},
  url: {https://doi.org/10.4230/DARTS.3.2.11},
  doi: {10.4230/DARTS.3.2.11},
}