@inproceedings{DBLP:conf/concur/HoareHMOPS11,
  title = "On Locality and the Exchange Law for Concurrent Processes",
  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",
  year = "2011",
  booktitle = "CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings",
  editor = "Joost-Pieter Katoen and Barbara K{\"o}nig",
  pages = "250-264",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "6901",
  doi = "10.1007/978-3-642-23217-6_17",
}