Automating the refinement of specifications for distributed systems via syntactic transformations.
Paul C. AttieChampak DasPublished in: Int. J. Syst. Sci. (1997)
Keyphrases
- distributed systems
- concurrent systems
- attribute grammars
- load balancing
- message passing
- fault tolerant
- distributed environment
- fault tolerance
- semantic constraints
- operating system
- geographically distributed
- software architecture
- distributed database systems
- distributed computing
- natural language
- mobile agents
- agent based systems
- real time systems
- loosely coupled
- formal specification
- data availability
- data replication
- mobile agent system