Message Flow Analysis and Run-Time Verification for Parallel Programs

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

Abstract

Abstract is missing.