Conferences in DBLP

(wsfm)
2009 (conf/wsfm/2009)

1. 
   Sessions and Session Types: An Overview. [Citation Graph (, )][DBLP]
   
   
2. 
   Choreography Rehearsal. [Citation Graph (, )][DBLP]
   
   
3. 
   A Graph Syntax for Processes and Services. [Citation Graph (, )][DBLP]
   
   
4. 
   A Formalisation of Adaptable Pervasive Flows. [Citation Graph (, )][DBLP]
   
   
5. 
   Compliance Preorders for Web Services. [Citation Graph (, )][DBLP]
   
   
6. 
   A Formal Semantics for the WS-BPEL Recovery Framework - The pi-Calculus Way. [Citation Graph (, )][DBLP]
   
   
7. 
   Realizability Is Controllability. [Citation Graph (, )][DBLP]
   
   
8. 
   Specification and Verification of Multi-user Data-Driven Web Applications. [Citation Graph (, )][DBLP]
   
   
9. 
   Automated Composition of Nondeterministic Stateful Services. [Citation Graph (, )][DBLP]
   
   
10. 
    Towards Compensation Correctness in Interactive Systems. [Citation Graph (, )][DBLP]
    
    
11. 
    Small Specifications for Tree Update. [Citation Graph (, )][DBLP]