Investigating Workflow Resource Patterns in term of Pi-calculus | IEEE Conference Publication | IEEE Xplore