New paper “H2” on operating system semantics

May 18, 2008 yodaiken operating systems

Please see a new version here. I am continuing to try to develop a practical engineering mathematics for operating system and other complex system code.