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