@article{DangMoeller2012,
  author    = {Han-Hing Dang and Bernhard M{\"o}ller},
  title     = {Reverse exchange for concurrency and local reasoning},
  journal   = {Lecture Notes in Computer Science},
  volume    = {7342},
  pages     = {177 -- 197},
  doi       = {10.1007/978-3-642-31113-0_10},
  year      = {2012},
}