CSE4702

Formal methods in distributed computing systems (6 points)

(IT)

Leader: A Zaslavsky

Offered:
Not offered in 2003.

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

Prohibitions: COT4702