[TUHS] Happy birthday, C.A.R. Hoare!

[Dave Horsfall]

On Wed, 10 Jan 2018, Bakul Shah wrote:

> And conditional critical regions.  And Monitors (jointly with Per Brinch 
> Hansen).  And CSP. And much more. His "an axiomatic basis for computer 
> programming" paper was quite influential. His Turing Award lecture 
> "Emperor's Old Clothes" is well worth (re)reading.

Noted; thanks.

-- 
Dave Horsfall DTM (VK2KFU)  "Those who don't understand security will suffer."