Sheausong Yang, Jie-Yong Juang. Message Flow Analysis and Run-Time Verification for Parallel Programs. In ICPP (2). pages 19-22, 1989.
@inproceedings{YangJ89,
title = {Message Flow Analysis and Run-Time Verification for Parallel Programs},
author = {Sheausong Yang and Jie-Yong Juang},
year = {1989},
tags = {program analysis, program verification, analysis, parallel programming, data-flow programming, data-flow, data-flow analysis},
researchr = {https://researchr.org/publication/YangJ89},
cites = {0},
citedby = {0},
pages = {19-22},
booktitle = {ICPP (2)},
}