SRC Research Report 152

Fairness and Hyperfairness

Leslie Lamport

The notion of fairness in trace-based formalisms is examined. It is argued that, in general, fairness means machine closure. The notion of hyperfairness introduced by Attie, Francez, and Grumberg is generalized to arbitrary action systems. Also examined are the fairness criteria proposed by Apt, Francez, and Katz.

Back to the SRC Research Reports main page.

• PostScript compressed with UNIX compress -- 312 Kbytes
  
• PostScript compressed with GNU compress (gzip) -- 296 Kbytes
  
• PostScript compressed with ZIP -- 296 Kbytes
  
• PostScript -- 560 Kbytes
  
• Portable Document Format (PDF) -- 96 Kbytes