Partial correctness of communicating processes and protocols /

per Chen, Zhou Chao
Publicat 1981

A calculus of total correctness for communicating processes /

per Hoare, C. A. R. (Charles Antony Richard)
Publicat 1981

Formal specification of a display editor /

per Sufrin, Bernard
Publicat 1981

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

per Fielding, Elizabeth
Publicat 1980

A guide to communicating sequential processes /

per Kuo, Shan S.
Publicat 1978

Development methods for computer programs including a notion of interference /

per Jones, C. B.
Publicat 1981

The formal semantics of computer languages and their implementations /

per Milne, Robert
Publicat 1974

A model for communicating sequential processes /

per Hoare, C. A. R. (Charles Antony Richard)
Publicat 1981