CS 582 / CMPE 481

Distributed Systems

This course focuses on the issues fundamental to the understanding of distributed systems. These include algorithms that handle distributed synchronisation, distributed mutual exclusion, deadlocks in distributed systems, distributed transactions, the general nature of distributed systems protocol and their design, synthesis and validation using a tool called Labelled Transition System Analyser (LTSA). Finally some example-distributed systems are examined to see the current trends.