Calculus of Total Correctness for Communicating Processes.
Publisher: Univ. Oxf. Computing Lab, Programming Research Gp
Published: 1981
Language: und
Number of pages: 31