The following list is sorted alphabetically by the first author's name:

• Stefan Savage, Hideyuki Tokuda. Real Time Mach: Exporting Time to the User. [abstract], [postscript] This paper is scheduled to appear in the Proceedings of the Third Usenix Mach Symposium(Machnix), April 19-21, 1993

• Hideyuki Tokuda, Tatsuo Nakajima, Prithvi Rao. Real-Time Mach: Towards Predictable Real-Time Systems. [abstract], [postscript]. Proceedings of the USENIX 1990 Mach Workshop, October 1990.

• Hideyuki Tokuda and Tatsuo Nakajima. Evaluation of Real-Time Synchronization in Real-Time Mach. [abstract], [postscript]. This paper appears in the proceedings for the USENIX 1991 Mach Workshop, October 1991.