From owner-sc22wg5+sc22wg5-dom8=www.open-std.org@open-std.org Wed Feb 19 15:03:24 2014 Return-Path: X-Original-To: sc22wg5-dom8 Delivered-To: sc22wg5-dom8@www.open-std.org Received: by www.open-std.org (Postfix, from userid 521) id BAAE4358419; Wed, 19 Feb 2014 15:03:24 +0100 (CET) Delivered-To: sc22wg5@open-std.org X-Greylist: delayed 1239 seconds by postgrey-1.34 at www5.open-std.org; Wed, 19 Feb 2014 15:03:24 CET Received: from ppsw-32.csi.cam.ac.uk (ppsw-32.csi.cam.ac.uk [131.111.8.132]) by www.open-std.org (Postfix) with ESMTP id 683CC356D54 for ; Wed, 19 Feb 2014 15:03:24 +0100 (CET) X-Cam-AntiVirus: no malware found X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from hermes-1.csi.cam.ac.uk ([131.111.8.51]:40041) by ppsw-32.csi.cam.ac.uk (smtp.hermes.cam.ac.uk [131.111.8.156]:25) with esmtpa (EXTERNAL:nmm1) id 1WG7QC-0005Ww-0f (Exim 4.82_3-c0e5623) for sc22wg5@open-std.org (return-path ); Wed, 19 Feb 2014 13:42:44 +0000 Received: from prayer by hermes-1.csi.cam.ac.uk (hermes.cam.ac.uk) with local (PRAYER:nmm1) id 1WG7QC-0000n7-52 (Exim 4.72) for sc22wg5@open-std.org (return-path ); Wed, 19 Feb 2014 13:42:44 +0000 Received: from [131.111.56.53] by old-webmail.hermes.cam.ac.uk with HTTP (Prayer-1.3.5); 19 Feb 2014 13:42:44 +0000 Date: 19 Feb 2014 13:42:44 +0000 From: "N.M. Maclaren" To: sc22wg5 Subject: The semantics of atomic actions Message-ID: In-Reply-To: <20140211074051.02A0C9DB189@www.open-std.org> References: <20140211074051.02A0C9DB189@www.open-std.org> X-Mailer: Prayer v1.3.5 Mime-Version: 1.0 Content-Type: text/plain; format=flowed; charset=ISO-8859-1 Sender: owner-sc22wg5@open-std.org Precedence: bulk While looking at Peter Sewell's advanced concurrency course, I found this and am enquiring further. It looks very plausible as a basis, so I am posting a link. People who are not particularly interested need not bother to look at it, because (at present) it is merely a possibility. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.4886 Regards, Nick Maclaren.