@misc{indiciaeff85abecc29d,
  title = {General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond},
  author = {Rupak Majumdar and Ramanathan S. Thinniyam and Georg Zetzsche},
  year = {2022},
  doi = {10.46298/lmcs-18(4:2)2022},
  url = {https://arxiv.org/abs/2101.08611},
  note = {Source identifier: 2101.08611}
}