Slides for the Graduate Course in Pisa
The exam for the course is available for download here.
The deadline for submission is 31/3/2010.
- Lecture 1: Introduction
- Lecture 2: Stochastic Process Algebras
- Lecture 3: Case Studies
- Lecture 4: Tackling State Space Explosion
- Lecture 5: Collective Dynamics
- Lecture 6a: Service-level agreements
- Lecture 6b: Response-time and safety
- Lecture 7a: Service-level agreements for service-oriented computing
- Lecture 7b: Scalable analysis of scalable systems
- Lecture 8: Systems biology
- Lecture 9: Stochastic Simulation
(Last updated 16/2/2010)
Reference material, related papers
- Lecture 1a: Introduction - Active badges
- Lecture 1b: Introduction - The PEPA Eclipse Plug-in
- Lecture 2a: Stochastic Process Algebras - Process Algebras for Quantitative Analysis
- Lecture 2b: Stochastic Process Algebras - Tuning systems
- Lecture 2c: Stochastic Process Algebras - The Nature of Synchronisation
- Lecture 3: Case studies
- Lecture 4: Tackling State Space Explosion - Fluid-flow approximation
- Lecture 5a: Collective dynamics - Internet worms
- Lecture 5b: Collective dynamics - Virtual university
- Lecture 6a: Service-level agreements
- Lecture 6b: Response-time and safety
- Lecture 7a: Service-level agreements for service-oriented computing
- Lecture 7b: Scalable analysis of scalable systems
Return to my homepage.
Laboratory for Foundations of Computer Science,
School of Informatics,
The Informatics Forum,
10 Crichton Street,
University of Edinburgh,
Edinburgh EH8 9AB, UK.
(+44) 0131-650-5199