Rafal Kolanski, Gerwin Klein. Formalising the L4 microkernel API. In Joachim Gudmundsson, C. Barry Jay, editors, Theory of Computing 2006, Proceedings of the Twelfth Computing: The Australasian Theory Symposium (CATS2006). Hobart, Tasmania, Australia, 16-19 January 2006, Proceedings. Volume 51 of CRPIT, pages 53-68, Australian Computer Society, 2006. [doi]
Abstract is missing.