Modeling BPEL and BPEL4People with a Timed Interruptable pi-Calculus.

Wei Jin, Hanpin Wang, Yongzhi Cao, Zizhen Wang, Xiaojuan Ban

Browse the full COMPSAC paper archive.