Infinite Traces. Proceedings of a workshop of the ESPRI Basic
Research Action No 3166: Algebraic and Syntactic Methods in Computer
Science (ASMICS), Tuebingen, Germany, 1992.

Diekert, Volker and Ebinger, Werner (Editors)


Contents

G. Pighizzini: Synthesis of nondeterministic asynchronous automata     5
P. Gastin, A. Petit: Buchi asynchronous cellular automata             29
M. Stannett: Trace Convergence over infinite alphabets I              46
M. Stannett: Trace Convergence over infinite alphabets II             72
J. Engelfriet,H. J. Hoogeboom: Automata with storage on infi-
     nite words                                                       82
W. Ebinger: On logical definability of !-trace languages             106
M. Kwiatowska, M. Stannett: On transfinite traces                    123
W. Penczek: On temporal logics on trace systems                      158
P. Gastin, A. Petit: Poset properties of complex trace languages     205
V. Diekert: Two extensions of the existing trace model               218
V. Diekert, P. Gastin, A. Petit: Rational and Recognizable Com-
     plex Trace Languages                                            225
Open problems                                                        270


@proceedings{de92,
   editor = "Diekert, Volker and Ebinger, Werner",
   organization = "Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik",
   series = "Bericht 4/92",
   title = "{\it {I}nfinite {T}races. {P}roceedings of a workshop of the {ESPRI
             {B}asic {R}esearch
             {A}ction {N}o 3166: {A}lgebraic and {S}yntactic {M}ethods in {C}omputer
             {S}cience {(ASMICS)}, {T}{\"u}bingen, Germany, 1992}",
   year = "1992",
}