Total Correctness of CSP Programs

Neelam Soundararajan. Total Correctness of CSP Programs. Acta Informatica, 23(2):193-215, 1986.

Abstract

Abstract is missing.