@misc{indiciaec89512bb943b, title = {Record-replay debugging for the SCOOP concurrency model}, author = {Benjamin Morandi and Sebastian Nanz and Bertrand Meyer}, year = {2012}, url = {https://arxiv.org/abs/1111.1170}, note = {Source identifier: 1111.1170} }