From mboxrd@z Thu Jan 1 00:00:00 1970 Message-ID: To: 9fans@9fans.net From: Richard Miller <9fans@hamnavoe.com> Date: Tue, 2 Nov 2010 14:29:34 +0000 In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit Subject: Re: [9fans] A little more ado about async Tclunk Topicbox-Message-UUID: 74df5b9e-ead6-11e9-9d60-3106f5b1d025 > In Hoare's model, livelock and deadlock cannot be distinguished, This was true in the early days of CSP but the theory has evolved a fair bit since then. The current model explicitly includes failures and divergences as part of the semantics of a process (in addition to its traces); these were added in order to be able to reason rigorously about deadlock and livelock respectively. During my ten or so years at the PRG, I never once heard either Tony Hoare or Carroll Morgan use the words "deadly embrace".