Rapide: A language and toolset for simulation of distributed systems by partial orderings of events.
David C. LuckhamPublished in: Partial Order Methods in Verification (1996)
Keyphrases
- distributed systems
- fault tolerant
- fault tolerance
- distributed environment
- geographically distributed
- load balancing
- programming language
- concurrent systems
- security policies
- message passing
- distributed computing
- mobile agents
- real time systems
- operating system
- distributed database systems
- loosely coupled
- data replication
- agent based systems
- artificial intelligence
- mobile computing