Episode Synopsis "System Validation: 9. Modal mu-Calculus"

Listen "System Validation: 9. Modal mu-Calculus"

More episodes of the podcast System Validation

• System Validation: 1. Strong Behavioral equivalences and Weak behavioral equivalences part 1
• System Validation: 2. Abstract Data Types part 1
• System Validation: 3. Weak behavioral equivalences part 2
• System Validation: 4. Sequential Processes
• System Validation: 5. Abstract Data Types part 2
• System Validation: 6. Coffee Machine Example
• System Validation: 7. Parallel Processes: Theory part 1
• System Validation: 8. Parallel Processes: Theory part 2
• System Validation: 9. Modal mu-Calculus
• System Validation: 10. Model Exam