@inproceedings{morandi:hal-01290070,
  TITLE = {{Safe and Efficient Data Sharing for Message-Passing Concurrency}},
  AUTHOR = {Morandi, Benjamin and Nanz, Sebastian and Meyer, Bertrand},
  URL = {https://inria.hal.science/hal-01290070},
  BOOKTITLE = {{16th International Conference on Coordination Models and Languages (COORDINATION)}},
  ADDRESS = { Berlin, Germany},
  EDITOR = {David Hutchison and Takeo Kanade and Bernhard Steffen and Demetri Terzopoulos and Doug Tygar and Gerhard Weikum and Eva K{\"u}hn and Rosario Pugliese and Josef Kittler and Jon M. Kleinberg and Alfred Kobsa and Friedemann Mattern and John C. Mitchell and Moni Naor and Oscar Nierstrasz and C. Pandu Rangan},
  PUBLISHER = {{Springer}},
  SERIES = {Coordination Models and Languages},
  VOLUME = {LNCS-8459},
  PAGES = {99-114},
  YEAR = {2014},
  MONTH = Jun,
  DOI = {10.1007/978-3-662-43376-8\_7},
  PDF = {https://inria.hal.science/hal-01290070/file/326181_1_En_7_Chapter.pdf},
  HAL_ID = {hal-01290070},
  HAL_VERSION = {v1},
}