@InProceedings{west-nanz-meyer:2015:reasonable, Title = {Efficient and Reasonable Object-Oriented Concurrency}, Author = {West, Scott and Nanz, Sebastian and Meyer, Bertrand}, Booktitle = {Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE '15)}, Year = {2015}, Publisher = {ACM}, }