SRC Technical Note 1994-001

Introduction to TLA

Leslie Lamport

A short (7-page) introduction to what TLA formulas mean. It should allow you to understand TLA specifications.

Back to the SRC Technical Notes main page.

• PostScript compressed with UNIX compress -- 46 Kbytes
  
• PostScript compressed with GNU compress (gzip) -- 33 Kbytes
  
• PostScript compressed with ZIP -- 33 Kbytes
  
• PostScript -- 120 Kbytes
  
• Portable Document Format (PDF) -- 168 Kbytes