ASM-based semantics for BPEL: The negative Control Flow (2005)

by Dirk Fahland, Wolfgang Reisig
Venue:In Proc. 12th International Workshop on Abstract State Machines