Deterministic Asynchronous Automata for Infinite Traces (1993)

Cached

Download Links

by Volker Diekert , Anca Muscholl
Venue:Acta Informatica
Citations:13 - 3 self

Documents Related by Co-Citation

180 editors. The Book of Traces – V Diekert, G Rozenberg
8 On the concatenation of infinite traces – V Diekert - 1991
11 Asynchronous automata for infinite traces – P Gastin, A Petit - 1992
136 Problemes combinatoires de commutation et rearrangements, Lecture – P Cartier, D Foata
31 Logical Definability on Infinite Traces – Werner Ebinger, Anca Muscholl - 1993
27 Asynchronous mappings and asynchronous cellular automata – R Cori, Y Metivier, W Zielonka - 1993
10 An Extension of Kleene’s and Ochmanski’s Theorems to Infinite Traces – P Gastin, A Petit, W Zielonka - 1994
47 Notes on finite asynchronous automata – Wieslaw Zielonka - 1987
24 Regular behaviour of concurrent systems – E Ochma'nski - 1985
123 Concurrent program schemes and their interpretations – A Mazurkiewicz - 1977
10 Petit: Asynchronous cellular automata for infinite traces – P Gastin, A - 1992
16 Combinatorics on Traces. Number 454 – V Diekert - 1990
5 Recognizable and rational trace languages of finite and infinite traces – P Gastin - 1991
477 Automata on infinite objects, in – W Thomas - 1990
11 Inhomogeneous sorting – A V Anisimov, D E Knuth - 1979
24 On logical definability of trace languages – W Thomas - 1990
5 On the domain of traces and sequential composition – M Kwiatkowska - 1991
8 Determinizing Asynchronous Automata – Nils Klarlund, Madhavan Mukund, Milind Sohoni - 1993
3 On the star operation in free partially commutative monoids – Y M'etivier, B Rozoy - 1991