====== Occam-pi Lecture Notes ======
**Courtesy:** Peter Welch, University of Kent, Canterbury

These are PPT slides supporting the "Concurrency Design and Practice" module
at Kent.  This is a 2nd. year elective module.  The reading order is:

  * motivation (main stuff:1-49, blood clot modelling 50-113) {{courses:cs377-201301:welch-lectures:motivation.ppt|PPT}}   {{courses:cs377-201301:welch-lectures:motivation.pdf|PDF}}  
  * basics (intro:1-21, main stuff: 22-110)                   {{courses:cs377-201301:welch-lectures:basics.ppt|PPT}}       {{courses:cs377-201301:welch-lectures:basics.pdf|PDF}}      
  * replicators (main stuff:1-99)                             {{courses:cs377-201301:welch-lectures:replicators.ppt|PPT}}  {{courses:cs377-201301:welch-lectures:replicators.pdf|PDF}} 
  * choice (main stuff:1-130)                                 {{courses:cs377-201301:welch-lectures:choice.ppt|PPT}}       {{courses:cs377-201301:welch-lectures:choice.pdf|PDF}}      
  * applying (main stuff:1-74)                                {{courses:cs377-201301:welch-lectures:applying.ppt|PPT}}     {{courses:cs377-201301:welch-lectures:applying.pdf|PDF}}    
  * protocol (main stuff:1-71)                                {{courses:cs377-201301:welch-lectures:protocol.ppt|PPT}}     {{courses:cs377-201301:welch-lectures:protocol.pdf|PDF}}    
  * shared-etc (main stuff:1-103)                             {{courses:cs377-201301:welch-lectures:shared-etc.ppt|PPT}}   {{courses:cs377-201301:welch-lectures:shared-etc.pdf|PDF}}  

These slides are under continuous development ...

Peter Welch.

30th. October, 2006