Subjective auxiliary state for coarse-grained concurrency

Ruy Ley-Wild, Aleksandar Nanevski. Subjective auxiliary state for coarse-grained concurrency. In Roberto Giacobazzi, Radhia Cousot, editors, The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013. pages 561-574, ACM, 2013. [doi]

@inproceedings{Ley-WildN13,
  title = {Subjective auxiliary state for coarse-grained concurrency},
  author = {Ruy Ley-Wild and Aleksandar Nanevski},
  year = {2013},
  doi = {10.1145/2429069.2429134},
  url = {http://doi.acm.org/10.1145/2429069.2429134},
  researchr = {https://researchr.org/publication/Ley-WildN13},
  cites = {0},
  citedby = {0},
  pages = {561-574},
  booktitle = {The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013},
  editor = {Roberto Giacobazzi and Radhia Cousot},
  publisher = {ACM},
  isbn = {978-1-4503-1832-7},
}