@misc{indiciae7f6bb7f1d719,
  title = {On the formalization of Asynchronous First Passage Algorithms},
  author = {Luigi Sbailò and Luigi Delle Site},
  year = {2019},
  doi = {10.1063/1.5083147},
  url = {https://arxiv.org/abs/1903.06040},
  note = {Source identifier: 1903.06040}
}