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)

Pr.: CIS 720.

KSIS Course Search

Add to Portfolio (opens a new window)