@MISC{morandi-nanz-meyer:2011:comprehensive, author = {Morandi, Benjamin and Nanz, Sebastian and Meyer, Bertrand}, title = {A Comprehensive Operational Semantics of the SCOOP Programming Model}, publisher = {arXiv:1101.1038}, urltopdf = {http://arxiv.org/pdf/1101.1038}, year = {2011} }