A Formal Definition of Logic Topology for One-to-All Broadcasts in Parallel and Distributed Computing

One-to-all broadcasts are used widely in parallel and distributed computing. The logic topologies have much effect on efficiency of broadcasts. The logic topology is a mechanism that determines how the messages in a distributed operation are sent. Since there are some challenges, such as ensuring data determinacy and managing deadlock and buffer memory etc., which are extremely subtle, and make it difficult to implement correctly, maybe the definition can provide an approach to formal verification and parallel compilers etc.