1. Topological characterizations of infinite behaviours of transition systems;Arnold,1983
2. Adherences of languages;Boasson;J. Comput. System Sci.,1980
3. On a decision method in restricted second order arithmetic;Büchi,1962
4. Fairness in deadlockfree Petri nets with the finite delay property;Carstensen;Proc. 5th European Workshop on Applications and Theory of Petri Nets,1984
5. Infinite behaviour of deterministic Petri nets;Carstensen,1988