摘要
本文把Brookes验证平行程序的思想应用于Hoare的通信顺序进程(CSP),提出了一组证明规则,以验证CSP程序的部分正确性。
The idea proposed by Brookes for verifying concurrent programs was applied to Hoare's Communicating Sequential Processes (CSP). A set of proof rules was presented to verify CSP programs partial correctness.
出处
《计算机学报》
EI
CSCD
北大核心
1990年第5期374-381,共8页
Chinese Journal of Computers
基金
国家自然科学基金
