Formal Specification and Verification of Mobile Agent Systems.
Laïd KahloulMessaouda GriraPublished in: Int. J. Comput. Commun. Control (2014)
Keyphrases
- formal specification
- mobile agent system
- model checking
- concurrent systems
- formal methods
- model checker
- mobile agents
- process algebra
- temporal logic
- fault tolerant
- object oriented design
- protocol specification
- specification languages
- formal verification
- distributed systems
- specification language
- fault tolerance
- grid workflow
- security mechanisms
- information systems
- response time
- database systems