GALAXY: A Distributed Real-Time Operating System Supporting High Availability.

A. Kung, R. Kung

Browse the full RTSS paper archive.