Conferences in DBLP

(wsfm)
2007 (conf/wsfm/2007)

1. 
   Towards a Theory of Web Service Choreographies. [Citation Graph (, )][DBLP]
   
   
2. 
   Controlling Petri Net Process Models. [Citation Graph (, )][DBLP]
   
   
3. 
   Extending Model Checking to Data-Aware Temporal Properties of Web Services. [Citation Graph (, )][DBLP]
   
   
4. 
   Analyzing BPEL4Chor: Verification and Participant Synthesis. [Citation Graph (, )][DBLP]
   
   
5. 
   Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers. [Citation Graph (, )][DBLP]
   
   
6. 
   A Feature-Complete Petri Net Semantics for WS-BPEL 2.0. [Citation Graph (, )][DBLP]
   
   
7. 
   From BPEL to SRML: A Formal Transformational Approach. [Citation Graph (, )][DBLP]
   
   
8. 
   Modeling Web Service Interactions Using the Coordination Language Reo. [Citation Graph (, )][DBLP]
   
   
9. 
   Synthesis of Web Services Orchestrators in a Timed Setting. [Citation Graph (, )][DBLP]
   
   
10. 
    From Public Views to Private Views - Correctness-by-Design for Services. [Citation Graph (, )][DBLP]
    
    
11. 
    Event Structure Semantics of Orc. [Citation Graph (, )][DBLP]