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.
- [Vic89]Steven Vickers. Topology via Logic, volume 5 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1989.Google Scholar