Hon Fung Li, Eslam Al Maghayreh. Using synchronized atoms to check distributed programs. In 13th International Conference on Parallel and Distributed Systems (ICPADS 2007), December 5-7, 2007, Hsinchu, Taiwan. pages 1-8, IEEE Computer Society, 2007. [doi]
Abstract is missing.