Fuyau Lin: Design and Validation of a Message-Passing System. IWSSD 1993: 10-19