@misc{indiciae06709f5e6355,
  title = {Scalable Termination Detection for Distributed Actor Systems.},
  author = {Plyukhin, Dan and Agha, Gul},
  year = {2020},
  url = {https://www.osti.gov/biblio/1822993},
  note = {Source identifier: 1822993}
}