• Gunther Schmidt
  • Michael Winter
Part of the Lecture Notes in Mathematics book series (LNM, volume 2208)


There exists a scenario in computer science where intricate topological questions are discussed. The topic is best described considering a device we observe without any knowledge about its inner program or process structure. This means necessarily incomplete observations which are somehow ordered by precision. Handling such observations requires specific orderings and often entails employing topological concepts.


  1. [Vic89]
    Steven Vickers. Topology via Logic, volume 5 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1989.Google Scholar

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  • Gunther Schmidt
    • 1
  • Michael Winter
    • 2
  1. 1.Fakultät für InformatikUniversität der Bundeswehr MünchenNeubibergGermany
  2. 2.Department of Computer ScienceBrock UniversitySt. CatharinesCanada

Personalised recommendations