Multi-Buffer Simulations for Trace Language Inclusion
We consider simulation games played between Spoiler and Duplicator on two Büchi 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...
| Prif Awduron: | , , , , |
|---|---|
| Fformat: | Erthygl |
| Iaith: | English |
| Cyhoeddwyd: |
Open Publishing Association
2016-09-01
|
| Cyfres: | Electronic Proceedings in Theoretical Computer Science |
| Mynediad Ar-lein: | http://arxiv.org/pdf/1609.04098v1 |