Languages of Infinite Traces and Deterministic Asynchronous Automata

Posted on February 12, 2016 by
by Namit Chaturvedi
View PDF
Reference:
Languages of Infinite Traces and Deterministic Asynchronous Automata (Namit Chaturvedi), Technical report, RWTH Aachen, 2014.
Bibtex Entry:
@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"
}

Bookmark the permalink.