Formal specification and analysis of distributed systems.
Henrikas PraneviciusPublished in: J. Intell. Manuf. (1998)
Keyphrases
- distributed systems
- formal specification
- fault tolerant
- distributed computing
- distributed environment
- specification language
- geographically distributed
- load balancing
- concurrent systems
- model checking
- mobile agents
- real time systems
- fault tolerance
- distributed database systems
- software engineering
- data replication
- agent based systems
- deadlock detection