> Detailanzeige

Hertling, Peter [VerfasserIn]; Selivanov, Victor [VerfasserIn]; Thomas, Wolfgang [VerfasserIn]; Wadge, William W. [VerfasserIn]; Wagner, Klaus [VerfasserIn] ; Peter Hertling and Victor Selivanov and Wolfgang Thomas and William W. Wadge and Klaus Wagner [MitwirkendeR]

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

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: Elektronischer Konferenzbericht; E-Artikel; Sonstige Veröffentlichung
  • Titel: 08271 Executive Summary – Topological and Game-Theoretic Aspects of Infinite Computations
  • Beteiligte: Hertling, Peter [VerfasserIn]; Selivanov, Victor [VerfasserIn]; Thomas, Wolfgang [VerfasserIn]; Wadge, William W. [VerfasserIn]; Wagner, Klaus [VerfasserIn]
  • Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008
  • Sprache: Englisch
  • DOI: https://doi.org/10.4230/DagSemProc.08271.2
  • Schlagwörter: Automata theory ; hierarchies ; infinite games ; reactive systems ; dataflow computation ; infinite computations ; computability in analysis ; specification
  • Entstehung:
  • Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Beschreibung: 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.
  • Zugangsstatus: Freier Zugang