An observation and thoughts on reading Tel G.. Introduction to Distributed Algorithm(second edition). Cambridge University Press: 2000.
How to build the theoretical abstraction of properties and behaviors about a specific system:
(1) system history material preparation???
(2) purpose and problem definitions??? system characteristics definitions??? math abstraction tool???
(3) common axioms based on fundamental description of system characteristics??? concept gaps???
(4) axiom proof tactics???
(5) concept application or performance in the wild world???