Reasoning About Distributed Systems: WYSIWYG (Invited Talk)
C. Aiswarya, Paul Gastin · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2014
There are two schools of thought on reasoning about distributed systems: one following interleaving based semantics, and one following partial-order/graph based semantics. This paper compares these two approaches and argues in favour of the latter. An introductory treatment of the split-width technique is also provided.