Parallel computation models : representation, analysis and applications