failure-divergence
distributed system.csp