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
Pr.: CIS 720.