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