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".
Created 27/12/2002. Last updated 11/6/2024.