Treffer: Modeling and Verification of the Causal Broadcast Algorithm Using Colored Petri Nets
Title:
Modeling and Verification of the Causal Broadcast Algorithm Using Colored Petri Nets
Authors:
Source:
2024 Third International Conference on Distributed Computing and High Performance Computing (DCHPC) Distributed Computing and High Performance Computing (DCHPC), 2024 Third International Conference on. :1-12 May, 2024
Relation:
2024 Third International Conference on Distributed Computing and High Performance Computing (DCHPC)
Database:
IEEE Xplore Digital Library