Comparing the Expressive Power of Well-Structured Transition Systems.
Parosh Aziz AbdullaGiorgio DelzannoLaurent Van BeginPublished in: CSL (2007)
Keyphrases
- expressive power
- transition systems
- model checking
- concurrent systems
- query language
- first order logic
- temporal logic
- data complexity
- transitive closure
- finite state
- relational algebra
- computational properties
- practical reasoning
- control flow
- relational calculus
- model checker
- reactive systems
- petri net
- artificial intelligence