PPT Slide
Execution Model (Without Guards)
Execute Any Assignment Statement In Random Order
A Fixed Point In State Space Is Reached
State - Values Assigned To Variables
Fixed Point - LHS = RHS For All Assignment Statements
Weak Fairness - Each Assignment Will Be Executed Infinitely Often In An Infinite Execution Time
Execution Model (With Guards)
Any Assignment With "True" Guard Will Eventually Be Executed