C/C++: progress or deadlock in system-level specification | Publicación