Partial correctness of communicating processes and protocols /

gan Chen, Zhou Chao
Cyhoeddwyd 1981

A calculus of total correctness for communicating processes /

gan Hoare, C. A. R. (Charles Antony Richard)
Cyhoeddwyd 1981

Formal specification of a display editor /

gan Sufrin, Bernard
Cyhoeddwyd 1981

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

gan Fielding, Elizabeth
Cyhoeddwyd 1980

A guide to communicating sequential processes /

gan Kuo, Shan S.
Cyhoeddwyd 1978

Development methods for computer programs including a notion of interference /

gan Jones, C. B.
Cyhoeddwyd 1981

The formal semantics of computer languages and their implementations /

gan Milne, Robert
Cyhoeddwyd 1974

A model for communicating sequential processes /

gan Hoare, C. A. R. (Charles Antony Richard)
Cyhoeddwyd 1981