1. Bauer, A. & Blanck, J. (2010). Canonical effective subalgebras of classical algebras as constructive metric completions. Journal of Universal Computer Science 16(18), 2496-2522.

   https://cronfa.swan.ac.uk/Record/cronfa47 doi:10.3217/jucs-016-18-2496
2. Blanck, J. Stoltenberg-Hansen, V. & Tucker, J. (2008). Stability for Effective Algebras. Electronic Notes in Theoretical Computer Science 221, 3

   https://cronfa.swan.ac.uk/Record/cronfa58 doi:10.1016/j.entcs.2008.12.002
3. Blanck, J. (2008). Reducibility of domain representations and Cantor–Weihrauch domain representations. Mathematical Structures in Computer Science 18(06), 1031-1056.

   https://cronfa.swan.ac.uk/Record/cronfa132 doi:10.1017/S0960129508007093
4. Blanck, J. (2005). Efficient exact computation of iterated maps. The Journal of Logic and Algebraic Programming 64(1), 41

   https://cronfa.swan.ac.uk/Record/cronfa1707 doi:10.1016/j.jlap.2004.07.004
5. Blanck, J. Stoltenberg-Hansen, V. & Tucker, J. (2002). Domain representations of partial functions, with applications to spatial objects and constructive volume geometry. Theoretical Computer Science 284(2), 207

   https://cronfa.swan.ac.uk/Record/cronfa1708 doi:10.1016/S0304-3975(01)00065-2

See more...

• CS-170 Modelling Computing Systems 1

  This module introduces students to mathematical tools and techniques for modelling computing systems.

• CS-175 Modelling Computing Systems 2

  This module will follow on from CS-170 and introduces students to mathematical tools and techniques for modelling computing systems.

• CS-210 Concurrency

  This module provides an introduction to the issues raised in developing and using concurrent and distributed systems. Consideration of practical and formal solutions to example problems from operating systems and networking.