A Protocol for Randomized Anonymous Two-process Wait-free Test-and-Set with Finite-state Verification.

John Tromp Paul M. B. Vitányi

Published in: SIROCCO (2002)

Keyphrases

finite state
model checking
markov chain
dynamic programming
process model
markov decision processes
model checker
search algorithm
formal verification
tree automata