CSE 535 -- Asynchronous Systems
Fall 2001
Lecture Notes
Lecture No. 1: Temporal Logic
plus
2-page handout on Readers/Writers Example in Murphi
Lecture No. 2: Branching-Time Temporal Logic
Lecture No. 3: Equation-Solving and CTL
Lecture No. 4: CTL Model Checking and Intro to mu-Calculus
Lecture No. 5: Process Algebra
Lecture No. 6: Using SOS Rules and Building Systems in CCS
Lecture No. 7: Bisimulation
Lecture No. 8: Observational Congruence and Hennessy-Milner Logic
Lecture No. 9: Computing Strong and Weak Bisimulation Equivalence
Lecture No. 10: Axiomatizing CCS