Keyphrases
- process algebra
- formal specification
- concurrent systems
- asynchronous circuits
- model checking
- temporal logic
- software testing
- concurrent programs
- distributed systems
- formal methods
- grid workflow
- reverse engineering
- petri net
- web services composition
- machine learning
- expert systems
- execution traces
- communication protocols
- data model
- web services