Quantitative Methods in Parallel Systems