@INPROCEEDINGS{morandi-nanz-meyer:2014:safe, author = {Morandi, Benjamin and Nanz, Sebastian and Meyer, Bertrand}, title = {Safe and Efficient Data Sharing for Message-Passing Concurrency}, booktitle = {Proceedings of the 16th International Conference on Coordination Models and Languages (COORDINATION 2014)}, year = {2014}, series = {Lecture Notes in Computer Science}, volume = {8459}, publisher = {Springer}, pages = {99--114}, urltopdf = {http://se.inf.ethz.ch/people/nanz/publications/morandi-nanz-meyer_coordination14.pdf}, }