Conferences in DBLP

School on Formal Methods for the Design of Computer, Communication and Software Systems (sfm)
2009 (conf/sfm/2009)

1. 
   Calculi for Service-Oriented Computing. [Citation Graph (, )][DBLP]
   
   
2. 
   Service Interaction: Patterns, Formalization, and Analysis. [Citation Graph (, )][DBLP]
   
   
3. 
   Synthesis and Composition of Web Services. [Citation Graph (, )][DBLP]
   
   
4. 
   Fundamentals of Session Types. [Citation Graph (, )][DBLP]
   
   
5. 
   Asynchronous Session Types: Exceptions and Multiparty Interactions. [Citation Graph (, )][DBLP]
   
   
6. 
   Contract-Based Discovery and Adaptation of Web Services. [Citation Graph (, )][DBLP]
   
   
7. 
   Contract-Based Discovery and Composition of Web Services. [Citation Graph (, )][DBLP]
   
   
8. 
   Quantitative Analysis of Web Services Using SRMC. [Citation Graph (, )][DBLP]