Concurrency

1.5 credits · Undergraduate

Introduction to concurrent computing, including the specification, implementation, and analysis of concurrent systems. Topics include: theoretical models of concurrency; software design patterns for parallel applications; programming languages and frameworks for expressing concurrency; and verification techniques for concurrent programs.