.Open FuBultanSu05
 Xiang Fu & Tevfik Bultan & Jianwen Su
 Synchronizability of Conversations among Web Services
 IEEE Trans Software Engineering  V31n12(Dec 2005)pp1042-1043
 =DEMO NONSEQUENTIAL WEB SERVICES VERIFICATION TOOL FSM BPEL LTL WSAT 
MSC
 Theory of buffered communicating finite state machines.
 Verification using Promela and SPIN of existing protocols expressed in 
BPEL
 BPEL::XML_document="Business Process Execution Language"
 (dick)|-`More evidence that businesses use buffered data flows not 
synchronous message passing`.
.Close