UT Dallas 2013 Graduate Catalog

CS6380 - Distributed Computing

CS 6380 (CE 6380) Distributed Computing (3 semester hours) Topics include distributed algorithms, election algorithms, synchronizers, mutual exclusion, resource allocation, deadlocks, Byzantine agreement and clock synchronization, knowledge and common knowledge, reliability in distributed networks, proving distributed programs correct. Prerequisite: CS 5348. (3-0) S