Keyphrases
- concurrent systems
- process algebra
- distributed systems
- temporal logic
- formal specification
- transition systems
- model checking
- petri net
- specification language
- formal semantics
- logic programming
- formal methods
- operational semantics
- conceptual model
- semantic information
- transformation rules
- asynchronous circuits
- open source
- artificial intelligence