Status: IN
All distributed protocol implementations use synchronous message delivery: PBFT runs the full three-phase protocol in a single deterministic call, bully elections resolve cascading responses within one tick, and Lamport clocks deliver messages in the same call stack — none model the network asynchrony that is the core difficulty of distributed systems.
three independent protocol modules share the same synchronous-delivery simplification
Depends on (SL): pbft-submit-request-is-synchronous-simulation, bully-synchronous-delivery, lamport-send-delivers-synchronously