Correctness Proofs of Communicating Processes: Three Illustrative Examples From the Literature
暂无分享,去创建一个
[1] Willem P. de Roever,et al. A Proof System for Communicating Sequential Processes , 1980, ACM Trans. Program. Lang. Syst..
[2] K. Mani Chandy,et al. Proving safety and liveness of communicating processes with examples , 1982, PODC '82.
[3] Vincent Y. Lum,et al. The Rebound Sorter: An Efficient Sort Engine for Large Files , 1978, VLDB.
[4] K. Mani Chandy,et al. Proofs of Networks of Processes , 1981, IEEE Transactions on Software Engineering.
[5] H. T. Kung,et al. Systolic (VLSI) arrays for relational database operations , 1980, SIGMOD '80.
[6] Martin John Ossefort. A unified approach to formal verification of network safety properties , 1982 .
[7] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.