List of Errata for the Focus Book

• Page 126: Replace "strong guardedness" by "strong causality".
• Page 147: Replace "strongly guarded" by "strongly causal".
• Page 183, Line 1: Replace "horizontal arrow" by "vertical arrow".
• Page 184: TrafficLightController is nondeterministic and not deterministic as stated in the book. Transitions 3 and 7 are both enabled for input "ack(yel,car)".
• Page 252, Exercise 14.3: Replace "behavioral conditional refinement" by "conditional behavioral refinement".
• Page 263, Net_4: Replace "l:D" by "i:D".
• Page 296, Exercise 16.4: The definition of alternative interface refinement should be "<=> [[S_2]] => [[U>S_1>D]]".
• Page 316: Replace "GS00" by "GS01".
• Page 331, [GS00]: Replace "GS00" by "GS01" and "12(5), 2000" by "13:32-49, 2001".
• Page 332: Replace "Z.100" by "Z.120".