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