An Approach to the Design of Distributed Systems with B AMN.
Michael J. ButlerPublished in: ZUM (1997)
Keyphrases
- distributed systems
- software architecture
- distributed environment
- load balancing
- operating system
- message passing
- fault tolerant
- fault tolerance
- high assurance
- deadlock detection
- security policies
- mobile agents
- case study
- distributed database systems
- multi agent
- data replication
- computer networks
- real time
- distributed computing
- mobile computing
- data intensive
- loosely coupled
- geographically distributed
- data availability
- databases