Close Menu

CS 545 - Distributed Computing Landscape

Course Description: 

Introduction to the theory of concurrent programming languages. Topics include formal models of concurrent computation such as process algebras, nets, and actors; high-level concurrent programming languages and their operational semantics; and methods for reasoning about correctness and complexity of concurrent programs.

Credit: 

(3-0-3)

Prerequisite: 

[(CS 450 with min. grade of C)]

Corequisite: 

None

Attachments: