Lecture Slides

Business Process Management: The Pi-Calculus

Here I provide slides from my lectures on the pi-calculus and business process management. They introduce the theory and application. More slides can be found on publications.

• Part I: Theory: The Pi-Calculus
• Part II: Workflow and Data Patterns
• Part III: Orchestrations, Choreographies, and Verification