"Trapping Mutual Exclusion in the Box Calculus."

Javier Esparza, Glenn Bruns (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics