Conferences in DBLP

(wsfm)
2008 (conf/wsfm/2008)

1. 
   On the Expressive Power of Process Interruption and Compensation. [Citation Graph (, )][DBLP]
   
   
2. 
   Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets. [Citation Graph (, )][DBLP]
   
   
3. 
   Contract Compliance and Choreography Conformance in the Presence of Message Queues. [Citation Graph (, )][DBLP]
   
   
4. 
   Verification of Choreographies During Execution Using the Reactive Event Calculus. [Citation Graph (, )][DBLP]
   
   
5. 
   RESTful Petri Net Execution. [Citation Graph (, )][DBLP]
   
   
6. 
   Validation and Discovery of Non-deterministic Semantic e-Services. [Citation Graph (, )][DBLP]
   
   
7. 
   Fault, Compensation and Termination in WS-BPEL 2.0 - A Comparative Analysis. [Citation Graph (, )][DBLP]
   
   
8. 
   Refactoring Long Running Transactions. [Citation Graph (, )][DBLP]
   
   
9. 
   On-The-Fly Model-Based Testing of Web Services with Jambition. [Citation Graph (, )][DBLP]
   
   
10. 
    Towards a Formal Framework for Workflow Interoperability. [Citation Graph (, )][DBLP]
    
    
11. 
    Security Types for Sessions and Pipelines. [Citation Graph (, )][DBLP]
    
    
12. 
    Why Does My Service Have No Partners?. [Citation Graph (, )][DBLP]
    
    
13. 
    Proof Techniques for Adapter Generation. [Citation Graph (, )][DBLP]
    
    
14. 
    Efficient Controllability Analysis of Open Nets. [Citation Graph (, )][DBLP]