Name
Abstract | ||
|---|---|---|
Multi-buffer simulation is a refinement of fair simulation between two nondeterministic Büchi automata (NBA). It is characterised by a game in which letters get pushed to and taken from FIFO buffers of bounded or unbounded capacity. |
Year | DOI | Venue |
|---|---|---|
2018 | 10.1016/j.ic.2018.09.008 | Information and Computation |
Keywords | Field | DocType |
Büchi automata,Simulation games,Mazurkiewicz traces | Language inclusion,Discrete mathematics,Combinatorics,FIFO (computing and electronics),Nondeterministic algorithm,Decidability,Hierarchy,Mathematics,Bounded function,Büchi automaton,Undecidable problem | Journal |
Volume | Issue | ISSN |
262 | Part | 0890-5401 |
Citations | PageRank | References |
0 | 0.34 | 8 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Milka Hutagalung | 1 | 13 | 3.16 |
| Norbert Hundeshagen | 2 | 21 | 4.86 |
| Dietrich Kuske | 3 | 485 | 47.93 |
| Martin Lange | 4 | 111 | 9.54 |
| Étienne Lozes | 5 | 121 | 14.32 |