Mar 29, 2024  
2017-2018 Graduate Catalog 
    
2017-2018 Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CIS 820 - Topics in Theory of Asynchronous Systems

Credits: 3

Safety and liveness properties, synchronous and asynchronous message passing systems, virtual circuit and datagram communication, process failure, concepts of composition and superimposition, temporal logic, reachability analysis, theory of concurrency control, atomic commitment, replica control.

Requisites:
Prerequisite: CIS 720.


KSIS Course Search




Add to Portfolio (opens a new window)