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

Dave Horsfall dave at horsfall.org
Fri Jan 12 07:50:40 AEST 2018

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."

More information about the TUHS mailing list