Kernel Level Support for Workflow Patterns | IEEE Conference Publication | IEEE Xplore