Specification and Prototyping of Reactive Distributed Systems with Algebraic Term Nets.
Faiza BouchoulMohamed MostefaiPublished in: Int. Arab J. Inf. Technol. (2010)
Keyphrases
- distributed systems
- reactive systems
- fault tolerant
- distributed environment
- load balancing
- fault tolerance
- message passing
- geographically distributed
- code generation
- mobile agents
- concurrent systems
- distributed computing
- operating system
- rapid prototyping
- real time systems
- formal specification
- distributed database systems
- mobile computing
- development process
- deadlock detection
- data intensive
- security policies
- data replication
- temporal logic
- data access