Event-based proof of the mutual exclusion property of Peterson's algorithm
scientific article; zbMATH DE number 6570928