@misc{indiciae460fb2e22b2e,
  title = {A Model of Cooperative Threads},
  author = {Martín Abadi and Gordon D. Plotkin},
  year = {2010},
  doi = {10.2168/lmcs-6(4:2)2010},
  url = {https://arxiv.org/abs/1009.2405},
  note = {Source identifier: 1009.2405}
}