Courses of Study 2015-2016 
    
    Mar 29, 2024  
Courses of Study 2015-2016 [ARCHIVED CATALOG]

Add to Favorites (opens a new window)

CS 6112 - [Foundations of Concurrency]


     
Fall. Next offered 2016-2017. 4 credits.

Enrollment limited to: graduate student standing or permission of the instructor.

Staff.

An introduction to the theoretical foundations of languages for concurrent and distributed programming. This advanced seminar presents general models (e.g., CSP, pi-calculus, join-calculus, ambients), their associated reasoning techniques, and topics such as coordination, fault-tolerance, mobility, security, and scalability. Evaluation is based on participation, short assignments, and student presentations of recent papers.



Add to Favorites (opens a new window)