Abstract State Machines: Designing Distributed Systems with State Machines and B.
Bill StoddartSteve DunneAndy GallowayRichard ShorePublished in: B (1998)
Keyphrases
- distributed systems
- state machines
- state machine
- fault tolerant
- petri net
- distributed environment
- load balancing
- fault tolerance
- geographically distributed
- recurrent networks
- distributed database systems
- mobile agents
- real time systems
- distributed computing
- loosely coupled
- data replication
- biologically inspired
- database systems
- deadlock detection