previous up next
Go backward to The Next-State Relation
Go up to Top
Go forward to Proving Psi Implements Phi
RISC-Linz logo

The Fairness Requirement

Need strong fairness condition!


Author: Wolfgang Schreiner
Last Modification: May 14, 1998

previous up next