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

Regularity and quantification: a new approach to verify distributed protocols.

Aman GoelKarem A. Sakallah
Published in: Innov. Syst. Softw. Eng. (2023)
Keyphrases
  • distributed systems
  • distributed environment
  • cooperative
  • multi party
  • computer networks
  • real time
  • website
  • peer to peer
  • distributed computing
  • distributed data
  • genetic algorithm
  • fault tolerant