2026-07-24T00:57:04Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1649 2024-03-06T11:08:11Z ddc:004 open_access

08271 Executive Summary – Topological and Game-Theoretic Aspects of Infinite Computations Hertling, Peter Selivanov, Victor Thomas, Wolfgang Wadge, William W. Wagner, Klaus Automata theory computability in analysis dataflow computation hierarchies infinite computations infinite games reactive systems specification The theory of the infinite behaviour of continuously operating computing devices is of primary importance for several branches of theoretical and practical computer science. In particular, it is fundamental for the verification and synthesis of reactive systems like microprocessors or operating systems, for the understanding of dataflow computation, and for the development of adequate mathematical foundations for exact real computation. The seminar brought together researchers from many different disciplines who are working on theoretical or practical aspects of infinite computations. In this summary we describe the topics, the goals, and the contributions of the seminar. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Peter Hertling and Victor Selivanov and Wolfgang Thomas and William W. Wadge and Klaus Wagner 2008 Is Part Of Dagstuhl Seminar Proceedings, Volume 8271, Topological and Game-Theoretic Aspects of Infinite Computations (2008) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.08271.2 urn:nbn:de:0030-drops-16499 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08271.2 eng https://creativecommons.org/licenses/by/4.0/legalcode