Patterns with Algebraic Properties in BPEL0 | IEEE Conference Publication | IEEE Xplore