How to build the theory on a specific system - may be just a brain storm

Motivation

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???

你可能感兴趣的:(How to build the theory on a specific system - may be just a brain storm)