Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2010, volume: 260, number:

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   Formal Specification of Correlation in WS Orchestrations Using BP-calculus. [Citation Graph (, )][DBLP]
   
   
3. 
   Unifying Architectural and Behavioural Specifications of Distributed Components. [Citation Graph (, )][DBLP]
   
   
4. 
   Compositional Specification of Parallel Components Using Circus. [Citation Graph (, )][DBLP]
   
   
5. 
   Global Coordination Policies for Services. [Citation Graph (, )][DBLP]
   
   
6. 
   Correct Execution of Reconfiguration for Stateful Components. [Citation Graph (, )][DBLP]
   
   
7. 
   Component Simulation-based Substitutivity Managing QoS Aspects. [Citation Graph (, )][DBLP]
   
   
8. 
   On the Observable Behaviour of Composite Components. [Citation Graph (, )][DBLP]
   
   
9. 
   Transparent First-class Futures and Distributed Components. [Citation Graph (, )][DBLP]
   
   
10. 
    State Based Robustness Testing for Components. [Citation Graph (, )][DBLP]
    
    
11. 
    Discovering Coordination Patterns. [Citation Graph (, )][DBLP]
    
    
12. 
    Slicing-based Reductions for Rebeca. [Citation Graph (, )][DBLP]
    
    
13. 
    Integrating Component Tests to System Tests. [Citation Graph (, )][DBLP]
    
    
14. 
    Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems. [Citation Graph (, )][DBLP]