Barry, > Another article in the same issue - "Can We Make Operating Systems = > Reliable and Secure?" We (me and Fred) have had *some* contact with the Singularity people at Microsoft: http://research.microsoft.com/os/singularity/ They have referenced our work (RMoX, occam-pi) - though not very accurately! But they do seem friendly, :). Peter.