@Article{         HutagalungHundeshagenKuskeLangeLozesa,
  Author        = "Hutagalung, Milka and Hundeshagen, Norbert and Kuske, Dietrich and Lange, Martin and Lozes, Etienne",
  Abstract      = {We consider simulation games played between Spoiler and Duplicator on two B\"uchi automata in which the choices made by Spoiler can be buffered by Duplicator in several buffers before she executes them on her structure. We show that the simulation games are useful to approximate the inclusion of trace closures of languages accepted by finite-state automata, which is known to be undecidable. We study the decidability and complexity and show that the game with bounded buffers can be decided in polynomial time, whereas the game with one unbounded and one bounded buffer is highly undecidable. We also show some sufficient conditions on the automata for Duplicator to win the game (with unbounded buffers).},
  date-added    = "2016-09-20 07:55:19 +0000",
  date-modified = "2016-09-20 07:55:24 +0000",
  EPrint        = "1609.04098",
  Keywords      = "citesme!",
  Month         = "09",
  Title         = "Multi-Buffer Simulations for Trace Language Inclusion",
  URL           = "http://arxiv.org/abs/1609.04098",
  Year          = "2016",
  bdsk-url-1    = "http://arxiv.org/abs/1609.04098",
  File          = "Multi-Buffer Simulations for Trace Language Inclusion - Hutagalung, Hundeshagen, Kuske, Lange, Lozes (0) (0) - a - a - e.pdf"
}

@Article{ HutagalungHundeshagenKuskeLangeLozesa, Author = "Hutagalung, Milka and Hundeshagen, Norbert and Kuske, Dietrich and Lange, Martin and Lozes, Etienne", Abstract = {We consider simulation games played between Spoiler and Duplicator on two B\"uchi automata in which the choices made by Spoiler can be buffered by Duplicator in several buffers before she executes them on her structure. We show that the simulation games are useful to approximate the inclusion of trace closures of languages accepted by finite-state automata, which is known to be undecidable. We study the decidability and complexity and show that the game with bounded buffers can be decided in polynomial time, whereas the game with one unbounded and one bounded buffer is highly undecidable. We also show some sufficient conditions on the automata for Duplicator to win the game (with unbounded buffers).}, date-added = "2016-09-20 07:55:19 +0000", date-modified = "2016-09-20 07:55:24 +0000", EPrint = "1609.04098", Keywords = "citesme!", Month = "09", Title = "Multi-Buffer Simulations for Trace Language Inclusion", URL = "http://arxiv.org/abs/1609.04098", Year = "2016", bdsk-url-1 = "http://arxiv.org/abs/1609.04098", File = "Multi-Buffer Simulations for Trace Language Inclusion - Hutagalung, Hundeshagen, Kuske, Lange, Lozes (0) (0) - a - a - e.pdf" }