Tournaments for mutual exclusion: verification and concurrent complexity.

Wim H. Hesselink

Published in: Formal Aspects Comput. (2017)

Keyphrases

mutual exclusion
long distance
temporal planning
computational complexity
computational cost
worst case
search algorithm
model checking
face verification
upper bound
decision problems
formal methods
formal verification