共 50 条
- [3] ABSTRACT IMPLEMENTATIONS AND THEIR CORRECTNESS PROOFS. Journal of the ACM, 1983, 30 (02): : 343 - 359
- [4] Modular correctness proofs of behavioural implementations Acta Informatica, 1998, 35 : 951 - 1005
- [6] AN ABSTRACT PROGRAMMING LANGUAGE AND CORRECTNESS PROOFS COMPUTER LANGUAGES, 1993, 18 (04): : 273 - 282
- [8] Correctness proofs of distributed algorithms THEORY AND PRACTICE IN DISTRIBUTED SYSTEMS, 1995, 938 : 164 - 177
- [10] Testing the correctness of MPI implementations ISPDC 2006: FIFTH INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED COMPUTING, PROCEEDINGS, 2006, : 291 - +