Formalization and Verification of Group Communication CoAP Using CSP.

Sini Chen Ran Li Huibiao Zhu

Published in: PDCAT (2021)

Keyphrases

group communication
fault tolerance
constraint satisfaction problems
replicated databases
model checking
key distribution
key management
fault tolerant
computing environments
database replication
message delivery
wireless mesh networks
response time
distributed systems
communication networks