Keyphrases
- process algebra
- formal methods
- model checking
- formal specification
- concurrent programs
- concurrent systems
- knowledge based systems
- grid workflow
- asynchronous circuits
- artificial intelligence
- web services composition
- knowledge representation
- temporal logic
- software engineering
- distributed systems
- real time
- theorem prover
- petri net
- mobile devices