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