2023-2024 Catalog

 

CIS-363 Concurrent Programming

Topics in the theory of concurrent programming. Models of concurrency. Programming logics. Emphasis on the formal specification and verification of concurrent programs. Prerequisite: CIS-221.

Credits

3

Cross Listed Courses

CIS

Notes

3
Indiana Weselayan