From: dave@horsfall.org (Dave Horsfall)
Subject: [TUHS] Happy birthday, C.A.R. Hoare!
Date: Fri, 12 Jan 2018 08:50:40 +1100 (EST) [thread overview]
Message-ID: <alpine.BSF.2.21.1801120839010.53831@aneurin.horsfall.org> (raw)
In-Reply-To: <20180111005010.8309F156E523@mail.bitblocks.com>
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."
next prev parent reply other threads:[~2018-01-11 21:50 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-01-10 21:33 Dave Horsfall
2018-01-11 0:20 ` Nemo
2018-01-11 1:24 ` Dave Horsfall
2018-01-11 10:21 ` helbig
2018-01-11 8:05 ` arnold
2018-01-11 0:49 ` Bakul Shah
2018-01-11 21:50 ` Dave Horsfall [this message]
2019-01-10 23:52 Dave Horsfall
2019-01-10 23:58 ` Kyle Spiers
2019-01-11 0:06 ` Clem cole
[not found] <mailman.1.1547172001.17201.tuhs@minnie.tuhs.org>
2019-01-11 4:29 ` Paul McJones
2019-01-11 4:32 ` Paul McJones
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=alpine.BSF.2.21.1801120839010.53831@aneurin.horsfall.org \
--to=dave@horsfall.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).