CS 425
Distributed Systems

Credit:  3 hours.


Protocols, specification techniques, global states and their determination, reliable broadcast, transactions and commitment, security, and real-time systems. Same as CSE 424 and ECE 428. Prerequisite: CS 241 or ECE 391.