Keyphrases
- first order logic
- higher order
- delay insensitive
- specification language
- high level
- universally quantified
- refinement process
- reactive systems
- taylor series
- learning algorithm
- concurrent systems
- formal language
- operational semantics
- query refinement
- functional requirements
- formal specification
- expert systems
- database systems