Distributed Computing · 1991 · 31 citations · 10 references
ComputingComputer EngineeringComputer ScienceFault ToleranceFault-tolerant ComputingFault-tolerant SystemsFault Tolerance DesignReliable System DesignFault Tolerance Verification
10
An axiomatic basis for computer programming
C. A. R. Hoare · Communications of the ACM · 1969 · 3.9K citations · Full text
Communicating sequential processes
Microprocessors and Microsystems · 1986 · 2.2K citations
An axiomatic basis for computer programming
C. A. R. Hoare · Communications of the ACM · 1983 · 1.5K citations
Systematic software development using VDM
Sunil Vadera · Data Processing · 1986 · 1.1K citations
Computing, Systems Engineering, Requirements Engineering +11