Improving reliability of cooperative concurrent systems with exception flow analysis.
Fernando Castor FilhoAlexander B. RomanovskyCecília M. F. RubiraPublished in: J. Syst. Softw. (2009)
Keyphrases
- flow analysis
- concurrent systems
- cooperative
- temporal logic
- information flow
- distributed systems
- process algebra
- transition systems
- formal specification
- model checking
- petri net
- forensic analysis
- reliability analysis
- game theory
- highly reliable
- multi agent systems
- multi agent
- unsupervised learning
- cooperative learning
- exception handling
- social networks
- databases