Formal Specification of Button-Related Fault-Tolerance Micropatterns.
Mu SunJosé MeseguerPublished in: WRLA (2014)
Keyphrases
- fault tolerance
- formal specification
- fault tolerant
- distributed systems
- object oriented design
- load balancing
- model checking
- specification languages
- process algebra
- distributed computing
- formal methods
- group communication
- peer to peer
- specification language
- mobile agents
- replicated databases
- response time
- reverse engineering
- concurrent systems
- fault management
- database replication
- single point of failure
- error detection
- failure recovery
- data replication
- software components
- knowledge representation
- grid workflow