Classifications of Recognizable Infinitary Trace Languages and the Distributed Synthesis Problem

October 16, 2017 in by

by Namit Chaturvedi
Reference:
Namit Chaturvedi. Classifications of Recognizable Infinitary Trace Languages and the Distributed Synthesis Problem. PhD thesis, Department of Computer Science, RWTH Aachen, Germany, December 2014.
Bibtex Entry:
@string{dec="December"}
@phdthesis{phd-chaturvedi,
  author =        {Chaturvedi, Namit},
  month =         dec,
  school =        {Department of Computer Science, RWTH Aachen, Germany},
  title =         {Classifications of Recognizable Infinitary Trace
                   Languages and the Distributed Synthesis Problem},
  year =          {2014},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  phd-chaturvedi.pdf},
  category =      {misc},
  wps =           {wp1},
  partners =      {RWTH},
  casstingpart =  {50},
}