Gudmund Grov, Greg Michaelson, Andrew Ireland. Formal verification of concurrent scheduling strategies using TLA. In 13th International Conference on Parallel and Distributed Systems (ICPADS 2007), December 5-7, 2007, Hsinchu, Taiwan. pages 1-6, IEEE Computer Society, 2007. [doi]
Abstract is missing.