Using Higher-order Logic for Modular Specification of Real-time Distributed Systems.
Glenn H. MacEwenDavid B. SkillicornPublished in: FTRTFT (1988)
Keyphrases
- distributed systems
- real time
- higher order logic
- real time systems
- geographically distributed
- fault tolerant
- distributed environment
- higher order
- mobile agents
- load balancing
- deadlock detection
- concurrent systems
- distributed computing
- conditional logic
- modular robots
- distributed database systems
- fault tolerance
- theorem prover
- data replication
- message passing
- formal specification
- logical framework
- description logics