Consistent Graphical Specification of Distributed Systems.
Franz HuberBernhard SchätzGeralf EinertPublished in: FME (1997)
Keyphrases
- distributed systems
- fault tolerant
- load balancing
- fault tolerance
- distributed environment
- message passing
- distributed computing
- geographically distributed
- distributed database systems
- loosely coupled
- software architecture
- concurrent systems
- operating system
- real time systems
- security policies
- data replication
- formal specification
- software development environments
- mobile computing
- mobile agents
- agent technology
- software engineering
- artificial intelligence