Operational and Logical Semantics for Polling Real-Time Systems.
Henning DierksAnsgar FehnkerAngelika MaderFrits W. VaandragerPublished in: FTRTFT (1998)
Keyphrases
- real time systems
- logical properties
- real time
- logical framework
- logical language
- embedded systems
- distributed systems
- logic programming
- model theoretic
- timing constraints
- mission critical
- object oriented programming language
- logical rules
- real time database systems
- learning automata
- formal semantics
- logical theories
- architectural model
- high level
- logical structure