@misc{indiciae317424884c18,
  title = {Decidability Problems for Actor Systems},
  author = {Frank De Boer and Mahdi Jaghoori and Cosimo Laneve and Gianluigi Zavattaro},
  year = {2014},
  doi = {10.2168/lmcs-10(4:5)2014},
  url = {https://arxiv.org/abs/1409.5022},
  note = {Source identifier: 1409.5022}
}