|
|
Mar 29, 2024
|
|
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)
|
|
|