Tulane University 2006-2007 Catalog
Course:
MATH 478 Introduction to Concurrency (3)
Staff. Prerequisites: MATH 217 and MATH 310 or approval of instructor. This course is a general introduction to Concurrency, i.e., the mathematical modeling of systems made up of several processes interacting with each other. The process algebra
CSP (Communicating Sequential Processes) will be studied, both on the syntactic and semantic level. The denotational, operational, and algebraic models used to reason about the language will be presented, and examples will be used throughout to illustrate the theory.
|
|
The information contained is provided by third parties, and SmartCatalog, its officers and employees disclaim any warranties regarding the accuracy, reliability, completeness or timeliness of any information on this web site, and may not be held liable for any losses caused by reliance on such information.
|