License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-16499
URL: http://drops.dagstuhl.de/opus/volltexte/2008/1649/
Go to the corresponding Portal


Hertling, Peter ; Selivanov, Victor ; Thomas, Wolfgang ; Wadge, William W. ; Wagner, Klaus

08271 Executive Summary -- Topological and Game-Theoretic Aspects of Infinite Computations

pdf-format:
Document 1.pdf (106 KB)


Abstract

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.

BibTeX - Entry

@InProceedings{hertling_et_al:DSP:2008:1649,
  author =	{Peter Hertling and Victor Selivanov and Wolfgang Thomas and William W. Wadge and Klaus Wagner},
  title =	{08271 Executive Summary -- Topological and Game-Theoretic Aspects of Infinite Computations},
  booktitle =	{Topological and Game-Theoretic Aspects of Infinite Computations},
  year =	{2008},
  editor =	{Peter Hertling and Victor Selivanov and Wolfgang Thomas and William W. Wadge and Klaus Wagner},
  number =	{08271},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2008/1649},
  annote =	{Keywords: Automata theory, computability in analysis, dataflow computation, hierarchies, infinite computations, infinite games, reactive systems, specification }
}

Keywords: Automata theory, computability in analysis, dataflow computation, hierarchies, infinite computations, infinite games, reactive systems, specification
Seminar: 08271 - Topological and Game-Theoretic Aspects of Infinite Computations
Issue Date: 2008
Date of publication: 05.11.2008


DROPS-Home | Fulltext Search | Imprint Published by LZI