Automatic Refinement of Distributed Systems Specifications Using Program Transformations.
Antônio Carlos Lima de SantanaAntônio Francisco do PradoWanderley Lopes de SouzaMarcelo Sant'AnnaPublished in: COMPSAC (1998)
Keyphrases
- agent technology
- distributed systems
- concurrent systems
- mobile agents
- distributed environment
- load balancing
- fault tolerant
- fault tolerance
- message passing
- geographically distributed
- distributed database systems
- software architecture
- real time systems
- control flow
- mobile computing
- replicated data
- real time
- distributed computing
- loosely coupled
- data replication
- data availability