COT4702

Formal methods in distributed computing systems

(IT)

A Zaslavsky

6 points + 4 hours per week + First, second semester + Caulfield

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%