@InProceedings{hertling_et_al:DagSemProc.08271.2, author = {Hertling, Peter and Selivanov, Victor and Thomas, Wolfgang and Wadge, William W. and Wagner, Klaus}, title = {{08271 Executive Summary – Topological and Game-Theoretic Aspects of Infinite Computations}}, booktitle = {Topological and Game-Theoretic Aspects of Infinite Computations}, pages = {1--5}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8271}, editor = {Peter Hertling and Victor Selivanov and Wolfgang Thomas and William W. Wadge and Klaus Wagner}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08271.2}, URN = {urn:nbn:de:0030-drops-16499}, doi = {10.4230/DagSemProc.08271.2}, annote = {Keywords: Automata theory, computability in analysis, dataflow computation, hierarchies, infinite computations, infinite games, reactive systems, specification} }