CSE 625 Back to Advanced Courses

Course CSE625
Title Asynchronous Systems
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.

Prerequisite CSE 306
Credit Information 3 - credits
Course Goals  
Course Webpage N/A
Course Coordinator Dr. Radu Grosu
Department of Computer Science • Stony Brook University, Stony Brook, NY 11794-4400 • 631-632-8470 or 631-632-8471