Distributed Real-Time System Specification and Verification in APTL.
Farn WangAloysius K. MokE. Allen EmersonPublished in: ACM Trans. Softw. Eng. Methodol. (1993)
Keyphrases
- real time
- formal verification
- distributed systems
- cooperative
- asynchronous circuits
- distributed environment
- control system
- multimedia communication
- model checking
- protocol specification
- distributed network
- low cost
- real time systems
- formal specification
- distributed stream processing
- distributed data
- computer networks
- lightweight
- high level
- databases
- loosely coupled
- mobile agents
- peer to peer
- database systems
- data sets