From mboxrd@z Thu Jan  1 00:00:00 1970
From: dave@horsfall.org (Dave Horsfall)
Date: Fri, 12 Jan 2018 08:50:40 +1100 (EST)
Subject: [TUHS] Happy birthday, C.A.R. Hoare!
In-Reply-To: <20180111005010.8309F156E523@mail.bitblocks.com>
References: <alpine.BSF.2.21.1801110830410.53831@aneurin.horsfall.org>
 <20180111005010.8309F156E523@mail.bitblocks.com>
Message-ID: <alpine.BSF.2.21.1801120839010.53831@aneurin.horsfall.org>

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