====== 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) {{motivation.ppt|PPT}} {{motivation.pdf|PDF}} * basics (intro:1-21, main stuff: 22-110) {{basics.ppt|PPT}} {{basics.pdf|PDF}} * replicators (main stuff:1-99) {{replicators.ppt|PPT}} {{replicators.pdf|PDF}} * choice (main stuff:1-130) {{choice.ppt|PPT}} {{choice.pdf|PDF}} * applying (main stuff:1-74) {{applying.ppt|PPT}} {{applying.pdf|PDF}} * protocol (main stuff:1-71) {{protocol.ppt|PPT}} {{protocol.pdf|PDF}} * shared-etc (main stuff:1-103) {{shared-etc.ppt|PPT}} {{shared-etc.pdf|PDF}} These slides are under continuous development ... Peter Welch. 30th. October, 2006.