License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-16555
URL: http://drops.dagstuhl.de/opus/volltexte/2008/1655/
Hertling, Peter ; Selivanov, Victor ; Thomas, Wolfgang ; Wadge, William W. ; Wagner, Klaus

08271 Abstracts Collection -- Topological and Game-Theoretic Aspects of Infinite Computations

pdf-format:
Dokument 1.pdf (227 KB)

Abstract

From June 29, 2008, to July 4, 2008, the Dagstuhl Seminar 08271 ``Topological and Game-Theoretic Aspects of Infinite Computations'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, many participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

BibTeX - Entry

@InProceedings{hertling_et_al:DSP:2008:1655,
  author =	{Peter Hertling and Victor Selivanov and Wolfgang Thomas and William W. Wadge and Klaus Wagner},
  title =	{08271 Abstracts Collection -- 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/1655},
  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
Freie Schlagwörter (englisch): and verification, topological complexity, Wadge reducibility
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