Trapping mutual exclusion in the box calculus | Publicación