Journals in DBLP

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

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. [Citation Graph (, )][DBLP]
   
   
3. 
   Composition of Services with Constraints. [Citation Graph (, )][DBLP]
   
   
4. 
   Behaviour Protocols for Interacting Stateful Components. [Citation Graph (, )][DBLP]
   
   
5. 
   Model Checking of Component Protocol Conformance - Optimizations by Reducing False Negatives. [Citation Graph (, )][DBLP]
   
   
6. 
   A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation. [Citation Graph (, )][DBLP]
   
   
7. 
   A Boolean Algebra of Contracts for Assume-guarantee Reasoning. [Citation Graph (, )][DBLP]
   
   
8. 
   PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. [Citation Graph (, )][DBLP]
   
   
9. 
   A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems. [Citation Graph (, )][DBLP]
   
   
10. 
    A Lightweight Approach to Customizable Composition Operators for Java-like Classes. [Citation Graph (, )][DBLP]
    
    
11. 
    Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata. [Citation Graph (, )][DBLP]
    
    
12. 
    Reachability in Tree-Like Component Systems is PSPACE-Complete. [Citation Graph (, )][DBLP]
    
    
13. 
    Automated Formalisation for Verification of Diagrammatic Models. [Citation Graph (, )][DBLP]