@INPROCEEDINGS{caltais-meyer-deadlock-2014, author = {Caltais, Georgiana and Meyer, Bertrand}, title = {Coffman Deadlocks in SCOOP}, urltopdf = {http://arxiv.org/abs/1409.7514}, booktitle = {26th Nordic Workshop on Programming Theory (NWPT’14)}, year = {2014} }