12 Jan
2018
12 Jan
'18
3:50 a.m.
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."