Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols.
Léon GondelmanJonas Kastberg HinrichsenMário PereiraAmin TimanyLars BirkedalPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- distributed network
- peer to peer
- communication cost
- wireless sensor networks
- computer networks
- distributed environment
- communication overhead
- lightweight
- multi party
- social networks
- logic programming
- data transfer
- application level
- message delivery
- database replication
- camera network
- network management
- network model
- distributed systems