A parallel algorithm for global states enumeration in concurrent systems.
Yen-Jung ChangVijay K. GargPublished in: PPOPP (2015)
Keyphrases
- parallel algorithm
- concurrent systems
- distributed systems
- temporal logic
- parallel computation
- process algebra
- formal specification
- cluster of workstations
- shared memory
- model checking
- binary search trees
- discovery of association rules
- parallel programming
- parallel version
- medial axis transform
- search space
- petri net
- orders of magnitude
- general purpose
- dynamic programming