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 or CIS-222; Co-requisites: CIS-221 and CIS-222. One of these may be taken concurrently as long as the other one is already completed.
Credits
3