Document is current

Tournaments for mutual exclusion: verification and concurrent complexity

Crossref DOI link: https://doi.org/10.1007/s00165-016-0407-x

Published Print: 2017-09

Update policy: https://doi.org/10.1007/springer_crossmark_policy