@misc{indiciae2f773d68e8d0, title = {A comprehensive operational semantics of the SCOOP programming model}, author = {Benjamin Morandi and Sebastian Nanz and Bertrand Meyer}, year = {2012}, url = {https://arxiv.org/abs/1101.1038}, note = {Source identifier: 1101.1038} }