Login / Signup

Verification of cryptocurrency consensus protocols: reenterable colored Petri net model design.

Dmitry A. ZaitsevTatiana R. ShmelevaZeyu ZhouDing Liu
Published in: Int. J. Parallel Emergent Distributed Syst. (2024)
Keyphrases
  • petri net model
  • petri net
  • real time
  • artificial intelligence
  • user interface
  • engineering design
  • design decisions
  • formal methods