Design and verification of a coordination protocol for cooperating systems.
Johnson P. ThomasPublished in: Soft Comput. (2000)
Keyphrases
- building blocks
- knowledge based systems
- design issues
- case study
- cooperative
- expert systems
- management system
- design criteria
- inter organizational workflow
- functional verification
- formal analysis
- lightweight
- multi agent
- embedded systems
- design tools
- software architecture
- human computer interface
- formal verification
- interactive systems
- commit protocols
- sensory motor
- intelligent systems