@misc {IOPORT.60000401,
    title        = {Weak exclusion},
    howpublished = {Encyclopedia of Cryptography and Security (2nd Ed.), 1366 (2011).},
    year         = {2011},
    doi          = {10.1007/978-1-4419-5906-5_1347},
    identifier   = {60000401},
}