Skip to main contentCal State San Bernardino
>> [CNS] >> [Comp Sci Dept] >> [R J Botting] >> [New Bibliographic Items] >> FuBultanSu05 [Blog/News] || [Purpose] || [Notation] || [Copyright] || [Site Search] || [Bibliography Search]
Fri Mar 31 07:38:12 PST 2006

Contents


    FuBultanSu05

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

End