A Parallel Algorithm for State Assignment of Finite State Machines.

Gagan Hasteer Prithviraj Banerjee

Published in: IEEE Trans. Computers (1998)

Keyphrases

finite state machines
parallel algorithm
parallel computation
model checking
finite state automata
parallel programming
parallel version
shared memory
binary search trees
state space
regular expressions
cluster of workstations