Modeling and Verification of the Causal Broadcast Algorithm Using Colored Petri Nets - NamvariTazehkand, Leila; Pashazadeh, Saied (2024 Third International Conference on Distributed Computing and High Performance Computing (DCHPC), Distributed Computing and High Performance Computing (DCHPC), 2024 Third International Conference on, 2024)