Correctness Proofs of CSP Programs

Neelam Soundararajan. Correctness Proofs of CSP Programs. Theoretical Computer Science, 24:131-141, 1983.

Abstract

Abstract is missing.