C.-J. Seger;J. A. Brzozowski
-;-
A unified framework for race analysis of asynchronous networks
Journal of the ACM (JACM)