Weak ω-Regular Trace Languages

October 16, 2017 in by

by Namit Chaturvedi, Marcus Gelderie
Reference:
Namit Chaturvedi, Marcus Gelderie. Weak ω-Regular Trace Languages. Research report 1402.3199, arXiv, February 2014.
Bibtex Entry:
@string{feb="February"}
@techreport{CG-arxiv14,
  author =        {Chaturvedi, Namit and Gelderie, Marcus},
  institution =   {arXiv},
  month =         feb,
  number =        {1402.3199},
  type =          {Research report},
  title =         {Weak {{(omega)}}-Regular Trace Languages},
  year =          {2014},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  CG-arxiv14.pdf},
  category =      {tech},
  wps =           {wp1},
  partners =      {RWTH},
  casstingpart =  {100},
}