Keyphrases
- formal semantics
- concurrent systems
- temporal logic
- distributed systems
- formal specification
- process algebra
- model checking
- logical language
- petri net
- formal language
- transition systems
- operational semantics
- theorem prover
- er model
- ontology languages
- modelling language
- first order logic
- epistemic logic
- modeling language
- speech acts
- logical reasoning
- high level