Action system approach to the specification and design of distributed systems.
Reino Kurki-SuonioH.-M. JärvinenPublished in: IWSSD (1989)
Keyphrases
- distributed systems
- load balancing
- software architecture
- distributed environment
- fault tolerance
- mobile agents
- geographically distributed
- concurrent systems
- distributed database systems
- message passing
- real time systems
- transition systems
- case study
- fault tolerant
- distributed computing
- high assurance
- software engineering