MIKE: A Distributed object-oriented programming platform on top of the Mach micro-kernel