Notes on finite asynchronous automata Wieslaw Zielonka (1987) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications