Leader: A Zaslavsky
Not offered in 2005.
Synopsis: Formal methods and notation for describing concurrent and distributed systems, atomic commitment protocols, consistent global states and predicates, broadcast and multicast protocols, formalisms in fault-tolerance and reliability, scheduling problems, global and virtual time, causal and temporal dependencies, shared memory, modelling of distributed systems with Petri-nets, object algebra for object-based distributed systems, distributed mutual exclusion, distributed resource management, synchronisation, parallelism and concurrency models.
Assessment: Research papers and literature survey: 50% + Oral presentations: 15% + Practical work: 35%
Contact Hours: 4 hours per week