A-Process-Algebra-for-Quantum-Processes Slides of the seminar for Security Methods and Verification final exam.