From: ruthc_at_email.domain.hidden
Date: 1998-06-01 08:03:08
X-MIME-Autoconverted: from 8bit to quoted-printable by mail2.cern.ch id IAA01345
X-Hops: 1
Mail*LinkŪ SMTP RE>Lamport and toy languages
Adrian,
>So let's not set up Lamport as an Aunt Sally. But as Larry says, at
>least it has sparked some discussion.
First of all, thank you for your analysis of TLA and Lamports papers; it
has proved interesting reading.
While it is very good that this discussion has taken place, and that we
have thought about these things, it would be even better if someone would
write these up into a paper which can be published, preferably in CACM (as
that is where Lamports was). Lamport and others then get the chance to
defend their position or be persuaded we do really have a good idea here.
Any takers?
Best wishes,
Ruth
--
Ivimey-Cook, Ruth Ann | ruthc_at_sharra.demon.co.uk
Just living my life as best I can.| Cambridge, UK
And trying not to be an Also-Ran! | http://www.sharra.demon.co.uk/
------------------ RFC822 Header Follows ------------------
Received: by MACMAIL.CERN.CH with SMTP;1 Jun 1998 09:00:49 +0200
Received: from dxmint.cern.ch (dxmint.cern.ch [137.138.26.76])
by mail2.cern.ch (8.8.8/8.8.8) with ESMTP id JAA06153
for <brian.martin_at_macmail.cern.ch>; Mon, 1 Jun 1998 09:01:34 +0200 (MET DST)
Received: from pear.ukc.ac.uk (pear.ukc.ac.uk [129.12.21.139]) by
dxmint.cern.ch
with ESMTP id JAA17252 for <Brian.Martin_at_macmail.cern.ch>; Mon, 1 Jun 1998
09:01:33 +0200 (MET DST)
Received: from mercury.ukc.ac.uk (mercury.ukc.ac.uk [129.12.21.10])
by pear.ukc.ac.uk (8.8.8/8.8.8) with SMTP id HAA02005
for <occam-com_at_pear.ukc.ac.uk>; Mon, 1 Jun 1998 07:31:41 +0100 (BST)
Received: from sharra.demon.co.uk by mercury.ukc.ac.uk with SMTP (PP);
Mon, 1 Jun 1998 07:31:14 +0100
Received: from sharra ([127.0.0.1]) by sharra.demon.co.uk
with SMTP (Mailtraq/0.9.0.75) id SHRR27268EC8;
Sun, 31 May 1998 22:37:54 +0100
Message-Id: <3.0.5.32.19980531223753.009ed300_at_localhost>
Reply-To: ruthc_at_sharra.demon.co.uk
X-Sender: ruthc_at_localhost
X-Mailer: QUALCOMM Windows Eudora Pro Version 3.0.5 (32)
Date: Sun, 31 May 1998 22:37:53 +0100
To: occam-com_at_ukc.ac.uk,
A E Lawrence <adrian.lawrence_at_computing-services.oxford.ac.uk>
From: Ruth Ivimey-Cook <ruthc_at_sharra.demon.co.uk>
Subject: Re: Lamport and toy languages
In-Reply-To: <35719318.1956FE35_at_oucs.ox.ac.uk>
References: <m0yfwn5-0000GaC_at_crash.cts.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
X-Hops: 1
This archive was generated by hypermail 2.1.7 on 2004-10-31 20:03:56 GMT
© Copyright WoTUG
All rights reserved