• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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