skip to main content

CS 524 - Concurrent Progrmg Languages

Fall 2020

Concurrent Progrmg LanguagesCS524A40477ONL1530 - 1645 T R    Jose Meseguer

Official Description

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. Course Information: Prerequisite: CS 422; CS 475 or CS 476.