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.

Download note as:

Hypertext (HTML) -- 40 Kbytes