Message Flow Analysis and Run-Time Verification for Parallel Programs. - Sheausong Yang; Jie-Yong Juang (ICPP (2), 1989)