Fuyau Lin Design and Validation of a Message-Passing System. 10-19 1993 conf/iwssd/1993 IWSSD db/conf/iwssd/iwssd1993.html#Lin93