State space reduction for process algebra specifications.
Hubert GaravelWendelin SerwePublished in: Theor. Comput. Sci. (2006)
Keyphrases
- process algebra
- formal specification
- state space
- concurrent systems
- asynchronous circuits
- model checking
- concurrent programs
- temporal logic
- distributed systems
- heuristic search
- reinforcement learning
- formal methods
- dynamic programming
- communication protocols
- web services composition
- grid workflow
- planning problems
- protocol specification
- software components
- search space
- case study
- business rules
- reverse engineering
- real time
- computer networks
- petri net
- knowledge acquisition
- general purpose