Specification and verification of a distributed real-time arbitration protocol.
Jozef HoomanPublished in: RTSS (1993)
Keyphrases
- protocol specification
- real time
- lightweight
- model checker
- distributed systems
- formal methods
- formal verification
- colored petri nets
- communication protocols
- cryptographic protocols
- formal analysis
- cooperative
- formal specification
- low cost
- formal proof
- model checking
- multi agent
- fault tolerant
- distributed environment
- asynchronous circuits
- high speed
- petri net
- group communication
- remote server
- security protocols
- concurrent systems
- transport protocol
- high level
- distributed computing environment
- real time systems
- communication cost
- computer networks
- access control
- vision system