Read our cookies policy and privacy statement for more information.
×Davis, California•
Fundamental concepts and applications of concurrent programs; concurrent program verification and derivation; synchronization mechanisms in programming languages; distributed programming techniques; case studies of languages.
Units: 4.0
Hours: Lecture—3 hour(s); Laboratory—3 hour(s).