2013-2014 Catalog
2013-2014 Catalog > Courses > CIS - Computer Information Sciences > 300 > CIS-363
Print this page
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.