Compositional Verification of a Distributed Real-Time Arbitration Protocol.
Jozef HoomanPublished in: Real Time Syst. (1994)
Keyphrases
- real time
- lightweight
- cryptographic protocols
- formal analysis
- distributed environment
- distributed systems
- wide area network
- model checking
- remote server
- group communication
- vision system
- low cost
- formal verification
- multimedia communication
- autonomous mobile
- formal proof
- distributed stream processing
- tcp ip
- security protocols
- real time systems
- multi party
- fault tolerant
- distributed databases
- peer to peer
- multi agent