@inproceedings(conf/tacas/AbdullaBHKV08,
 author       = {P. A. Abdulla and A. Bouajjani and L. Hol{\'i}k and L. Kaati and T. Vojnar},
 year         = {2008},
 title        = {Computing Simulations over Tree Automata},
 booktitle    = {{TACAS'08}},
 series       = {Lecture Notes in Computer Science},
 volume       = {4963},
 publisher    = {Springer},
 pages        = {93--108},
 doi          = {10.1007/978-3-540-78800-3\_8},
)
@book(berstel1979transductions,
 author       = {J. Berstel},
 year         = {1979},
 title        = {{Transductions and Context-Free Languages}},
 series       = {Leitf{\"a}den der angewandten Mathematik und Mechanik},
 publisher    = {Teubner},
 doi          = {10.1007/978-3-663-09367-1},
)
@inproceedings(LICS00*51,
 author       = {A. Blumensath and E. Gr{\"a}del},
 year         = {2000},
 title        = {Automatic Structures},
 booktitle    = {Proc.\ 15th IEEE Symp.\ on Logic in Computer Science, {LICS'00}},
 publisher    = {IEEE},
 pages        = {51--62},
 doi          = {10.1109/LICS.2000.855755},
)
@article(BrandZ83,
 author       = {D. Brand and P. Zafiropulo},
 year         = {1983},
 title        = {On Communicating Finite-State Machines},
 journal      = {J. ACM},
 volume       = {30},
 number       = {2},
 pages        = {323--342},
 doi          = {10.1145/322374.322380},
)
@inproceedings(conf/csr/Carton10,
 author       = {O. Carton},
 year         = {2010},
 title        = {Right-Sequential Functions on Infinite Words},
 booktitle    = {Proc.\ 5th Int.\ Conf.\ on Computer Science in Russia, {CSR'10}},
 series       = {Lecture Notes in Computer Science},
 volume       = {6072},
 publisher    = {Springer},
 pages        = {96--106},
 doi          = {10.1007/978-3-642-13182-0},
)
@inproceedings(ChambartS08,
 author       = {P. Chambart and P. Schnoebelen},
 year         = {2008},
 title        = {Mixing Lossy and Perfect Fifo Channels},
 booktitle    = {CONCUR'08},
 series       = {LNCS},
 volume       = {5201},
 publisher    = {Springer},
 pages        = {340--355},
 doi          = {10.1007/978-3-540-85361-9\_28},
)
@inproceedings(MayrC13,
 author       = {L. Clemente and R. Mayr},
 year         = {2013},
 title        = {Advanced automata minimization},
 booktitle    = {POPL'13},
 publisher    = {ACM},
 pages        = {63--74},
 doi          = {10.1145/2429069.2429079},
)
@incollection(dm97handbook,
 author       = {V. Diekert and Y. M{\'e}tivier},
 year         = {1997},
 title        = {Partial Commutation and Traces},
 editor       = {G. Rozenberg and A. Salomaa},
 booktitle    = {Handbook of Formal Languages},
 volume       = {3},
 publisher    = {Springer},
 pages        = {457--533},
 doi          = {10.1007/978-3-642-59126-6\_8},
)
@inproceedings(lncs575*255,
 author       = {D. L. Dill and A. J. Hu and Wong-Toi, H.},
 year         = {1992},
 title        = {Checking for Language Inclusion Using Simulation Preorders},
 booktitle    = {CAV'91},
 series       = {LNCS},
 volume       = {575},
 publisher    = {Springer},
 pages        = {255--265},
 doi          = {10.1007/3-540-55179-4\_25},
)
@inbook(Emerson96,
 author       = {E. A. Emerson},
 year         = {1996},
 title        = {Automated Temporal Reasoning about Reactive Systems},
 pages        = {41--101},
 series       = {LNCS},
 volume       = {1043},
 publisher    = {Springer},
 address      = {New York, NY, USA},
 doi          = {10.1007/3-540-60915-6\_3},
)
@inproceedings(EL86,
 author       = {E. A. Emerson and C. L. Lei},
 year         = {1986},
 title        = {Efficient Model Checking in Fragments of the Propositional {$\mu$}--Calculus},
 booktitle    = {Symposion on Logic in Computer Science},
 publisher    = {IEEE},
 address      = {Washington, D.C., USA},
 pages        = {267--278},
)
@inproceedings(conf/concur/Etessami02,
 author       = {K. Etessami},
 year         = {2002},
 title        = {A Hierarchy of Polynomial-Time Computable Simulations for Automata},
 booktitle    = {{CONCUR'02}},
 series       = {Lecture Notes in Computer Science},
 volume       = {2421},
 publisher    = {Springer},
 pages        = {131--144},
 doi          = {10.1007/3-540-45694-5\_10},
)
@inproceedings(EtessamiWS01,
 author       = {K. Etessami and T. Wilke and R. A. Schuller},
 year         = {2001},
 title        = {Fair Simulation Relations, Parity Games, and State Space Reduction for {B}{\"u}chi Automata},
 booktitle    = {{ICALP'01}},
 series       = {LNCS},
 volume       = {2076},
 publisher    = {Springer},
 pages        = {694--707},
 doi          = {10.1007/3-540-48224-5\_57},
)
@article(journals/tcs/FritzW05,
 author       = {C. Fritz and T. Wilke},
 year         = {2005},
 title        = {Simulation relations for alternating {B}{\"u}chi automata},
 journal      = {Theor. Comput. Sci},
 volume       = {338},
 number       = {1-3},
 pages        = {275--314},
 doi          = {10.1016/j.tcs.2005.01.016},
)
@article(GN84,
 author       = {F. Gire and M. Nivat},
 year         = {1984},
 title        = {Relations rationelles infinitaires},
 journal      = {Calcolo},
 volume       = {21},
 pages        = {91--125},
 doi          = {10.1007/BF02575909},
)
@inproceedings(GurH82,
 author       = {Y. Gurevich and L. Harrington},
 year         = {1982},
 title        = {Trees, Automata, and Games},
 booktitle    = {Proceedings of the 14th Annual {ACM} Symposium on Theory of Computing, May 5-7, 1982, San Francisco, California, {USA}},
 pages        = {60--65},
 doi          = {10.1145/800070.802177},
)
@unpublished(HutHKLL16,
 author       = {M. Hutagalung and N. Hundeshagen and D. Kuske and M. Lange and E. Lozes},
 year         = {2016},
 title        = {Multi-Buffer Simulations for Trace Language Inclusion},
 note         = {In preparation},
)
@inproceedings(HutagalungLL:LATA13,
 author       = {M. Hutagalung and M. Lange and E. Lozes},
 year         = {2013},
 title        = {Revealing vs. Concealing: More Simulation Games for {B}{\"u}chi Inclusion},
 booktitle    = {{LATA'2013}},
 series       = {LNCS},
 volume       = {7810},
 publisher    = {Springer},
 pages        = {347--358},
 doi          = {10.1007/978-3-642-37064-9\_31},
)
@inproceedings(DBLP:journals/corr/HutagalungLL14,
 author       = {M. Hutagalung and M. Lange and E. Lozes},
 year         = {2014},
 title        = {Buffered Simulation Games for {B}{\"{u}}chi Automata},
 booktitle    = {{AFL'14}},
 series       = {{EPTCS}},
 volume       = {151},
 pages        = {286--300},
 doi          = {10.4204/EPTCS.151.20},
)
@inproceedings(Jurdzinski/00,
 author       = {M. Jurdzi{\'n}ski},
 year         = {2000},
 title        = {Small progress measures for solving parity games},
 editor       = {H. Reichel and S. Tison},
 booktitle    = {{STACS'00}},
 series       = {LNCS},
 volume       = {1770},
 publisher    = {Springer},
 pages        = {290--301},
 doi          = {10.1007/3-540-46541-3\_24},
)
@inproceedings(conf/caap/Nivat81,
 author       = {M. Nivat},
 year         = {1981},
 title        = {Infinitary Relations},
 booktitle    = {Proc.\ 6th Coll.\ on Trees in Algebra and Programming, {CAAP'81}},
 series       = {Lecture Notes in Computer Science},
 volume       = {112},
 publisher    = {Springer},
 pages        = {46--75},
 doi          = {10.1007/3-540-10828-9\_54},
)
@article(post46,
 author       = {E. Post},
 year         = {1946},
 title        = {A variant of a recursively unsolvable problem},
 journal      = {Bulletin of the American Mathematical Society},
 volume       = {53},
 pages        = {264--268},
 doi          = {10.1090/S0002-9904-1946-08555-9},
)