Using Pi-Calculus to Formalize Grid Workflow Parallel Computing Patterns | IEEE Conference Publication | IEEE Xplore