Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL.
Farn WangAloysius K. MokE. Allen EmersonPublished in: ICSE (1992)
Keyphrases
- real time systems
- formal specification
- distributed systems
- real time embedded
- mission critical
- model checking
- specification languages
- real time
- object oriented design
- specification language
- distributed environment
- process algebra
- embedded systems
- formal methods
- software components
- cooperative
- reverse engineering
- mobile agents
- real time database systems
- concurrent systems
- timing constraints
- architectural model
- grid workflow
- distributed database systems
- response time
- anytime algorithms
- multi agent
- knowledge base
- artificial intelligence
- databases