Modular Composition of Redundancy Management Protocols in Distributed Systems: An Outlook on Simplifying Protocol Level Formal Specification & Verification.
Purnendu SinhaNeeraj SuriPublished in: ICDCS (2001)
Keyphrases
- distributed systems
- protocol specification
- formal specification
- concurrent systems
- model checking
- model checker
- communication protocols
- process algebra
- formal methods
- distributed environment
- object oriented design
- mobile agents
- distributed computing
- cryptographic protocols
- specification language
- fault tolerance
- temporal logic
- information systems
- fault tolerant
- data replication
- geographically distributed
- high assurance
- replicated data
- network management
- reverse engineering
- security protocols
- real time systems
- case study
- distributed database systems
- formal verification
- web service composition
- security policies
- grid workflow
- software components
- multi agent