CSE535

Course CSE535
Title Asynchronous Systems
Credits 3 - credits
Course Coordinator
Description

Discusses asynchronous systems, their description using concurrent and distributed programming languages and their verification. Topics include concurrent programming using shared memory and message passing, formal semantics of communication, reliability and concurrent algorithms.

Course Outcomes
Textbook
Major Topics Covered in Course
Laboratory
Course Webpage

CSE535