Experimental investigation of message latencies in the Totem protocol in the Presence of faults.
Holger KarlMatthias WernerLars KüttnerPublished in: IEE Proc. Softw. (1998)
Keyphrases
- message delivery
- lightweight
- round trip
- fault detection
- messages exchanged
- fault diagnosis
- communication infrastructure
- formal analysis
- network protocols
- coloured petri nets
- commit protocols
- cryptographic protocols
- communication protocol
- security protocols
- distributed databases
- test cases
- response time
- session initiation protocol
- sensor networks
- web services