SRC Technical Note 1996-001

Refinement in State-Based Formalisms

Leslie Lamport

A note explaining what refinement and dummy variables are all about. It also sneaks in an introduction to TLA.

Back to the SRC Technical Notes main page.

• PostScript compressed with UNIX compress -- 98 Kbytes
  
• PostScript compressed with GNU compress (gzip) -- 88 Kbytes
  
• PostScript compressed with ZIP -- 88 Kbytes
  
• PostScript -- 184 Kbytes
  
• Portable Document Format (PDF) -- 88 Kbytes