Specification Styles in Distributed Systems Design and Verification.
Chris A. VissersGiuseppe ScolloMarten van SinderenEd BrinksmaPublished in: Theor. Comput. Sci. (1991)
Keyphrases
- distributed systems
- concurrent systems
- distributed environment
- fault tolerant
- software architecture
- distributed computing
- fault tolerance
- load balancing
- case study
- message passing
- distributed database systems
- real time
- design process
- real time systems
- formal verification
- geographically distributed
- high assurance
- mobile agents
- formal methods
- data replication
- operating system
- embedded systems
- security policies
- database management systems