∗ Exercises and solutions
∗ Instructor′s resources
∗ Example CSP programs to run on FDR and ProBe
∗ Links to useful sites
Abstraction and Control Flow.
Specification and Verification with Traces.
Specification and Verification with Failures.
Failures, Divergences, and Infinite Traces.
The Timed Language.
Timed Transition Systems.
Semantics of Timed CSP.
Timed Specification and Verification.