@misc{indiciaec990db07870e,
  title = {Scalable Termination Detection for Distributed Actor Systems},
  author = {Dan Plyukhin and Gul Agha},
  year = {2020},
  doi = {10.4230/lipics.concur.2020.44},
  url = {https://arxiv.org/abs/2007.10553},
  note = {Source identifier: 2007.10553}
}