SRC Technical Note 1996-002a

The Module Structure of TLA+

Leslie Lamport

Note #1996-002, September 12, 1996. Corrected January 5, 1998
15 pages

An html document that informally describes the revised syntax and semantics for the module structure of TLA+. This is a preliminary draft; comments are welcome.

Back to the SRC Technical Notes main page.

Download note as:

Hypertext (HTML) -- 40 Kbytes

Publication history

Note #1996-002, September 12, 1996. 15 pages.