Specification and Verification of Real-Time, Distributed Systems Using the Theory of Constraints.
Frederick C. FurtekPublished in: CADE (1980)
Keyphrases
- distributed systems
- real time
- real time systems
- concurrent systems
- formal methods
- fault tolerant
- distributed environment
- formal verification
- load balancing
- fault tolerance
- geographically distributed
- asynchronous circuits
- message passing
- operating system
- mobile computing
- distributed database systems
- agent technology
- deadlock detection
- high assurance
- formal specification
- security policies
- mobile agents
- control system