Concurrency Based Transition Refinement for the Verification of Distributed Algorithms.
Sibylle PeukerPublished in: Petri Net Technology for Communication-Based Systems (2003)
Keyphrases
- multi agent
- learning algorithm
- benchmark datasets
- theoretical analysis
- real time
- optimization problems
- fault tolerant
- computational cost
- significant improvement
- data structure
- bayesian networks
- distributed systems
- lightweight
- database systems
- orders of magnitude
- mobile agents
- computational efficiency
- machine learning