Keep it fair: Equivalence and composition

摘要: Abstract Fairness assumptions are commonly used to filter system behaviors, thereby distinguishing between realistic and unrealistic executions. This allows for key arguments in correctness proofs of distributed systems, which would not be possible otherwise. Our first contribution is an equivalence spectrum fairness preserved. Although the identified equivalences allow reasoning about incorporating assumptions, this does necessarily lifting from sequential processes parallel compositions employing arbitrary synchronization mechanisms. second is, therefore, analysis composition operators their mechanisms respect.