State Space Reduction for Process Algebra Specifications.
Hubert GaravelWendelin SerwePublished in: AMAST (2004)
Keyphrases
- process algebra
- formal specification
- state space
- concurrent systems
- asynchronous circuits
- model checking
- concurrent programs
- reinforcement learning
- distributed systems
- temporal logic
- formal methods
- heuristic search
- dynamic programming
- petri net
- web services composition
- reverse engineering
- grid workflow
- planning problems
- search space
- communication protocols
- building blocks
- control flow
- real time