-
Selection by year
-
Selection by authors
-
Complete lists
icalp13
B. Genest, H. Gimbert, A. Muscholl, I. Walukiewicz. Asynchronous Games over Tree Architectures. In 40th International Colloquium on Automata, Languages and Programming (ICALP'13), Springer (ed.), LNCS, Volume 7966, Pages 275-286, Riga, Latvia, July 2013.
Download [help]
Download paper:
Doi page 
Download paper:
Adobe portable document (pdf) 
Copyright notice:
This material is presented to ensure timely dissemination of scholarly and
technical work. Copyright and all rights therein are retained by authors or
by other copyright holders. All persons copying this information are expected
to adhere to the terms and constraints invoked by each author's
copyright. These works may not be reposted without the explicit permission of
the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic
Abstract
We consider the distributed control problem in the setting of Zielonka asynchronous automata. Such automata are compositions of nite processes communicating via shared actions and evolving asyn- chronously. Most importantly, processes participating in a shared action can exchange complete information about their causal past. This gives more power to controllers, and avoids simple pathological undecidable cases as in the setting of Pnueli and Rosner. We show the decidability of the control problem for Zielonka automata over acyclic communication architectures. We provide also a matching lower bound, which is l-fold exponential, l being the height of the architecture tree
Contact
Blaise Genest http://perso.crans.org/~genest/
BibTex Reference
@InProceedings{icalp13,
Author = {Genest, B. and Gimbert, H. and Muscholl, A. and Walukiewicz, I.},
Title = {Asynchronous Games over Tree Architectures},
BookTitle = {40th International Colloquium on Automata, Languages and Programming (ICALP'13)},
editor = {Springer, },
Volume = {7966},
Pages = {275--286},
Series = {LNCS},
Address = {Riga, Latvia},
Month = {July},
Year = {2013}
}
EndNote Reference [help]
Get EndNote Reference (.ref)