CS 524

Spring 2024 All Classes

All Classes

Credit: 4 hours.

Theory of concurrency and concurrent programming languages. Formal models of concurrent computation such as process algebras, nets, and actors; high level concurrent programming languages and their operational semantics; methods for reasoning about correctness and complexity of concurrent programs.

4 graduate hours. No professional credit. Prerequisite: CS 422; one of CS 475, MATH 475 or CS 476.

CS 524 class schedule data for spring 2024
CRN Type Section Time Day Location Instructor Section Details
31609
Lecture
P
3:30PM -4:45PM
TR
1214 Siebel Center for Comp Sci
Meseguer, J
Part of Term:
1
Date Range:
01/16/24-05/01/24
Credit:
4 hours
Section Info:
For up-to-date information about CS course restrictions, please see the following link: http://go.cs.illinois.edu/csregister
Restriction(s):
Restricted to Graduate - Urbana-Champaign.
Not intended for First Time Freshman students.
COURSE EXPLORER
Email: Course Explorer Feedback

OFFICE OF THE REGISTRAR | 901 W. Illinois Street, Urbana, Illinois 61801

Site developed by: Technology Services at Illinois | UNIVERSITY OF ILLINOIS URBANA-CHAMPAIGN
1102 Digital Computer Laboratory | MC-256 | Urbana, IL 61801 | phone 217-244-7000