A: an assertion language for distributed systems.
Andrew TjangFábio OliveiraRichard P. MartinThu D. NguyenPublished in: PLOS (2006)
Keyphrases
- distributed systems
- fault tolerant
- load balancing
- distributed environment
- message passing
- fault tolerance
- concurrent systems
- deadlock detection
- data replication
- geographically distributed
- real time systems
- security policies
- programming language
- artificial intelligence
- distributed computing
- natural language
- mobile agents
- database applications
- distributed database systems
- response time
- digital libraries
- multi agent systems
- real time