On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract).
Chris A. VissersGiuseppe ScolloMarten van SinderenEd BrinksmaPublished in: TAPSOFT, Vol.2 (1989)
Keyphrases
- distributed systems
- software architecture
- mobile agents
- fault tolerant
- operating system
- design process
- distributed environment
- load balancing
- real time systems
- message passing
- fault tolerance
- artificial intelligence
- deadlock detection
- mobile computing
- distributed database systems
- dynamic environments
- digital libraries
- distributed computing
- case study
- loosely coupled
- web services
- data replication
- concurrent systems
- databases
- software development environments