SOF 540 Distributed Systems

Topics central to the design and management of distributed computing systems, including distributed synchronization and resource sharing, concurrency control in distributed databases, distributed simulation languages for distributed computing, management proof techniques for distributed systems, and distributed operating systems are covered. Prerequisite: SOF535.