State space modelling in the design of robust software for distributed systems: A case study.
Geoffrey F. CarpenterPublished in: Microprocess. Microprogramming (1988)
Keyphrases
- distributed systems
- software architecture
- state space
- fault tolerant
- high assurance
- fault tolerance
- real time systems
- software design
- distributed environment
- case study
- load balancing
- user interface
- software systems
- message passing
- distributed database systems
- operating system
- software development
- distributed computing
- deadlock detection
- concurrent systems
- data replication
- geographically distributed
- software development environments
- mobile agents
- source code
- loosely coupled
- embedded systems
- replicated data
- design patterns
- computer systems