Folding Narrowing for the Analysis of Mutual Exclusion Protocols | Publicación