Prototyping and formal analysis of concurrent and distributed systems.
Bernd J. KrämerPublished in: IWSSD (1991)
Keyphrases
- distributed systems
- formal analysis
- fault tolerant
- distributed environment
- load balancing
- fault tolerance
- geographically distributed
- development process
- ban logic
- software architecture
- agent model
- formal methods
- loosely coupled
- distributed database systems
- real time systems
- mobile agents
- distributed computing
- data replication
- deadlock detection
- database
- design process
- lightweight
- knowledge based systems
- artificial intelligence
- concurrent systems