@article{HoareHussainMoelleretal.2011,
  author    = {C. A. R. Hoare and Akbar Hussain and Bernhard M{\"o}ller and Peter W. O'Hearn and Rasmus Lerchedahl Petersen and Georg Struth},
  title     = {On locality and the exchange law for concurrent processes},
  journal   = {Lecture Notes in Computer Science},
  volume    = {6901},
  pages     = {250 -- 264},
  doi       = {10.1007/978-3-642-23217-6_17},
  year      = {2011},
}