Probabilistic predicate transformers
ACM Transactions on Programming Languages and Systems (TOPLAS)
Universal coalgebra: a theory of systems
Theoretical Computer Science - Modern algebra and its applications
A Discipline of Programming
Power Domains and Predicate Transformers: A Topological View
Proceedings of the 10th Colloquium on Automata, Languages and Programming
Dijkstras Predicate Transformers & Smyth's Power Domaine
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Observational logic, constructor-based logic, and their duality
Theoretical Computer Science - Foundations of software science and computation structures
The Stone Gamut: A Coordinatization of Mathematics
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Abstraction, Refinement And Proof For Probabilistic Systems (Monographs in Computer Science)
Abstraction, Refinement And Proof For Probabilistic Systems (Monographs in Computer Science)
Theoretical Computer Science - Selected papers of CMCS'03
Representing systems with hidden state
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Duality for logics of transition systems
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Brzozowski's algorithm (co)algebraically
Logic and Program Semantics
The duality of state and observation in probabilistic transition systems
TbiLLC'11 Proceedings of the 9th international conference on Logic, Language, and Computation
Hi-index | 0.00 |
I give a brief introduction to Stone duality and then survey a number of duality theories that arise in logic and computer science. I mention some more unfamiliar dualities at the end which may be of importance to emerging fields within computer science.