Keyphrases
- process algebra
- formal methods
- formal specification
- model checking
- concurrent programs
- knowledge based systems
- concurrent systems
- knowledge representation
- asynchronous circuits
- artificial intelligence
- grid workflow
- software engineering
- theorem prover
- communication protocols
- web services composition
- natural deduction
- petri net
- expert systems
- database