TY - RPRT TI - A comprehensive operational semantics of the SCOOP programming model AU - Benjamin Morandi AU - Sebastian Nanz AU - Bertrand Meyer PY - 2012 UR - https://arxiv.org/abs/1101.1038 ID - 1101.1038 ER -