Linearization in parallel pCRL.

Jan Friso Groote Alban Ponse Yaroslav S. Usenko

Published in: J. Log. Algebraic Methods Program. (2001)

Keyphrases

parallel implementation
parallel processing
parallel computation
parallel hardware
real time
genetic algorithm
decision making
user interface
linear programming
computer architecture
multi core processors