@misc{indiciae9ba74790c851,
  title = {Behavioural types for non-uniform memory accesses},
  author = {Juliana Franco and Sophia Drossopoulou},
  year = {2016},
  doi = {10.4204/eptcs.203.9},
  url = {https://arxiv.org/abs/1602.03599},
  note = {Source identifier: 1602.03599}
}