Electronic Notes in Theoretical Computer Science, Volume 260

Volume 260, January 2010

• Carlos Canal, Corina S. Pasareanu:
  Preface. 1-2
  
• Faisal Abouzaid, John Mullins:
  Formal Specification of Correlation in WS Orchestrations Using BP-calculus. 3-24
  
• Antonio Cansado, Ludovic Henrio, Eric Madelaine, Pablo Valenzuela:
  Unifying Architectural and Behavioural Specifications of Distributed Components. 25-45
  
• Francisco Heron de Carvalho Junior, Rafael Dueire Lins:
  Compositional Specification of Parallel Components Using Circus. 47-72
  
• Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo:
  Global Coordination Policies for Services. 73-89
  
• Moritz Hammer, Alexander Knapp:
  Correct Execution of Reconfiguration for Stateful Components. 91-108
  
• Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot:
  Component Simulation-based Substitutivity Managing QoS Aspects. 109-123
  
• Rolf Hennicker, Stephan Janisch, Alexander Knapp:
  On the Observable Behaviour of Composite Components. 125-153
  
• Antonio Cansado, Ludovic Henrio, Eric Madelaine:
  Transparent First-class Futures and Distributed Components. 155-171
  
• Bin Lei, Zhiming Liu, Charles Morisset, Xuandong Li:
  State Based Robustness Testing for Components. 173-188
  
• Nuno F. Rodrigues:
  Discovering Coordination Patterns. 189-207
  
• Hamideh Sabouri, Marjan Sirjani:
  Slicing-based Reductions for Rebeca. 209-224
  
• Bernhard Schätz, Christian Pfaller:
  Integrating Component Tests to System Tests. 225-241
  
• Pavlína Vareková, I. Vareková, Ivana Cerná:
  Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems. 243-259