Partial correctness of communicating processes and protocols /

بواسطة Chen, Zhou Chao
منشور في 1981

A calculus of total correctness for communicating processes /

بواسطة Hoare, C. A. R. (Charles Antony Richard)
منشور في 1981

Formal specification of a display editor /

بواسطة Sufrin, Bernard
منشور في 1981

The specification of abstract mappings and their implementation as B trees /

بواسطة Fielding, Elizabeth
منشور في 1980

A guide to communicating sequential processes /

بواسطة Kuo, Shan S.
منشور في 1978

Development methods for computer programs including a notion of interference /

بواسطة Jones, C. B.
منشور في 1981

The formal semantics of computer languages and their implementations /

بواسطة Milne, Robert
منشور في 1974

A model for communicating sequential processes /

بواسطة Hoare, C. A. R. (Charles Antony Richard)
منشور في 1981