Links

Here are various links that you may find useful. If you want to link here, for whatever reason, I made a little button:

• RMoX Wiki
• Building RMoX, on the systems research-group (UKC) Wiki

General links

• University of Kent, Department of Computer Science
• The Systems Engineering Research Group and Concurrency Research (Sub-)Group web-pages
• The Official KRoC home-page
• Pre-preleases of the next KRoC
• University of Southern Denmark, Department of Maths and Computer Science
• University of Utah, Flux Research Group, OSKit Project
• Linux kernels
• WoTUG, with information on occam/CSP and communicating process architectures

Other operating-systems

• An operating-systems WIKI with links to various OSs (commercial, experimental, research and toy)
• Microsoft's Singularity research OS