Electronic Notes in Theoretical Computer Science, Volume 255

Volume 255, November 2009

• Faisal Abouzaid, John Mullins:
  Model-checking Web Services Orchestrations using BP-calculus. 3-21
  
• Suzana Andova, Luuk Groenewegen, J. Stafleu, Erik P. de Vink:
  Formalizing Adaptation On-the-Fly. 23-44
  
• Marco Devesas Campos, Luís Soares Barbosa:
  Implementation of an Orchestration Language as a Haskell Domain Specific Language. 45-64
  
• Francisco Durán, Meriem Ouederni, Gwen Salaün:
  Checking Protocol Compatibility using Maude. 65-81
  
• Ludovic Henrio, Florian Kammüller:
  Functional Active Objects: Typing and Formalisation. 83-101
  
• Stephanie Kemper:
  SAT-based Verification for Timed Component Connectors. 103-118
  
• Sun Meng, Farhad Arbab:
  Connectors as Designs. 119-135
  
• Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab:
  Automated Analysis of Reo Circuits using Symbolic Execution. 137-158
  
• Nima Roohi, Gwen Salaün, Seyyed-Hassan Mirian-Hosseinabadi:
  Analyzing Chor Specifications by Translation into FSP. 159-176