1 Table of Contents: “.... Testing of Labeled Transition Systems -- Testing of Labeled Transition Systems -- 5 Preorder Relations...”

2 Table of Contents: “...-Foundedness and the Transitive Closure -- Designing the Proof of Vizing’s Theorem -- Phase Synchronization...”

3 “... such as semaphores, nondeterministic state transition systems with fairness assumptions, decomposition...”

4 Table of Contents: “..., or the Misery of the Unordered Pair (EWD1223) -- My Simplest Theorem (EWD1232) -- The Transitive Closure of a...”