[Prev][Next][Index]
Re: query on Larch
-
To: Keith E. Williamson <kew@grace.rt.cs.boeing.com>
-
Subject: Re: query on Larch
-
From: lamport
-
Date: Tue, 18 Oct 94 13:52:42 -0700
-
Cc: horning, larch-interest
-
Delivery-Date: Tue, 18 Oct 94 13:52:49 -0700
-
In-Reply-To: Message of Tue, 18 Oct 94 13:24:17 -0700 from horning <9410182024.AA12132@roustabout.pa.dec.com>
You can find out more about TLA on
http://www.research.digital.com/SRC/personal/Leslie_Lamport/tla/tla.html
I recommend starting with the eight-page "Introduction to TLA",
available on that Web page.
Leslie Lamport