Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars.
Fernando Luís DottiOdorico Machado MendizabalOsmar Marchi dos SantosPublished in: LADC (2005)
Keyphrases
- distributed systems
- fault tolerant
- graph grammars
- fault tolerance
- context sensitive
- load balancing
- distributed environment
- message passing
- mobile agents
- data replication
- distributed database systems
- distributed computing
- graph databases
- model checking
- context free
- mobile agent system
- high assurance
- high availability
- parameter learning
- operating system
- conditional random fields
- multi agent
- bayesian networks