Consistency of the Calculus of Total Correctness for Communicating Processes.
Publisher: Univ.Oxf.Computing Lab.,Programming Research Gp.
Published: 1982
Language: und
Number of pages: 38