@InProceedings{castegren_et_al:LIPIcs:2016:6099, author = {Elias Castegren and Tobias Wrigstad}, title = {{Reference Capabilities for Concurrency Control}}, booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)}, pages = {5:1--5:26}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-014-9}, ISSN = {1868-8969}, year = {2016}, volume = {56}, editor = {Shriram Krishnamurthi and Benjamin S. Lerner}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2016/6099}, URN = {urn:nbn:de:0030-drops-60998}, doi = {http://dx.doi.org/10.4230/LIPIcs.ECOOP.2016.5}, annote = {Keywords: Type systems, Capabilities, Traits, Concurrency, Object-Oriented} }