Jun 25, 2024  
2009-2010 Graduate Catalog 
    
2009-2010 Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CIS 820 - Topics in Theory of Asynchronous Systems


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.

Credits: (3)

Requisites
Pr.: CIS 720.


KSIS Course Search




Add to Portfolio (opens a new window)