SRC Technical Note 1997-006a

The Operators of TLA+

Leslie Lamport

Note #1997-006a. April 12, 1997. Corrected June 8, 1997
20 pages

This document is an introduction to the syntax and semantics of the operators of TLA+. It assumes that you are familiar with ordinary mathematics (sets and functions) and are at least acquainted with TLA. It should enable you to understand the expressions that appear in TLA+ specifications.

This is a preliminary document; suggestions are welcome.

Back to the SRC Technical Notes main page.

Download note as:

PostScript compressed with UNIX compress -- 144 Kbytes
PostScript compressed with GNU compress (gzip) -- 106 Kbytes
PostScript compressed with ZIP -- 106 Kbytes
PostScript -- 264 Kbytes
Portable Document Format (PDF) -- 176 Kbytes

Publication history

Note #1997-006. April 12, 1997. 20 pages