CS 6112 - [Foundations of Concurrency]

Fall. 4 credits.

Next offered 2015-2016. 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.