Semantics of Reactive Systems in Abstract Time.
Cornelis HuizingRob GerthPublished in: REX Workshop (1991)
Keyphrases
- knowledge representation
- reactive systems
- state machines
- control flow
- formal semantics
- temporal logic
- formal methods
- model checking
- information flow
- high level
- state machine
- data flow
- petri net
- real time systems
- process model
- semantic information
- database systems
- machine learning
- modeling language
- open source
- propositional dynamic logic