@TechReport{Chaturvedi14,
  author      = "Namit Chaturvedi",
  title       = "Languages of {I}nfinite {T}races and {D}eterministic {A}synchronous {A}utomata",
  institution = "RWTH Aachen",
  keywords    = "b{\"u}chi automata, deterministic asynchronous automata, infinitary limit languages, trace languages",
  year        = "2014",
  number      = "AIB-2014-04",
  month       = jan,
  url         = "http://aib.informatik.rwth-aachen.de/2001/2001-02.ps.gz"
}