Notes on finite asynchronous automataWieslaw ZielonkaRAIRO-Theor. Inf. Appl., 21 2 (1987) 99-135DOI: https://doi.org/10.1051/ita/1987210200991
