State Machines and Assertions: An Integrated Approach to Modeling and Verification of Distributed Systems.
Thomas A. JosephThomas RäuchleSam TouegPublished in: Sci. Comput. Program. (1986)
Keyphrases
- distributed systems
- state machines
- concurrent systems
- state machine
- fault tolerant
- distributed environment
- geographically distributed
- fault tolerance
- mobile agents
- real time systems
- petri net
- load balancing
- deadlock detection
- data replication
- distributed computing
- high assurance
- distributed database systems
- neural network
- sequence diagrams
- knowledge base
- data availability
- loosely coupled
- database