Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2006, volume: 160, number:

1. Zhiming Liu, Luís Soares Barbosa
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:1-2 [Journal]
   
2. Silvia Amaro, Ernesto Pimentel, Ana M. Roldán
   Reo Based Interaction Model. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:3-14 [Journal]
   
3. Farhad Arbab
   Coordination for Component Composition. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:15-40 [Journal]
   
4. Tomás Barros, Ludovic Henrio, Eric Madelaine
   Verification of Distributed Hierarchical Components. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:41-55 [Journal]
   
5. Rémi Bastide, Eric Barboni
   Software Components: a Formal Semantics Based on Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:57-73 [Journal]
   
6. Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing
   A Component Model for Architectural Programming. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:75-96 [Journal]
   
7. Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot
   On the Contribution of a tau. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:97-111 [Journal]
   
8. Laura Bocchi, Paolo Ciancarini
   On the Impact of Formal Methods in the SOA. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:113-126 [Journal]
   
9. Jan Carlson, John Håkansson, Paul Pettersson
   SaveCCM: An Analysable Component Model for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:127-140 [Journal]
   
10. María Victoria Cengarle, Peter Graubmann, Stefan Wagner
    Semantics of UML 2.0 Interactions with Variabilities. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:141-155 [Journal]
    
11. Samir Chouali, Maritta Heisel, Jeanine Souquières
    Proving Component Interoperability with B Refinement. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:157-172 [Journal]
    
12. Jifeng He, Xiaoshan Li, Zhiming Liu
    A Theory of Reactive Components. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:173-195 [Journal]
    
13. Pavel Jezek, Jan Kofron, Frantisek Plasil
    Model Checking of Component Behavior Specification: A Real Life Experience. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:197-210 [Journal]
    
14. Grant Malcolm
    Component-Based Specification of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:211-224 [Journal]
    
15. Abbas Heydarnoori, Farhad Mavaddat, Farhad Arbab
    Towards an Automated Deployment Planner for Composition of Web Services as Software Components. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:239-253 [Journal]
    
16. Steve Reeves, David Streader
    Stepwise Refinement of Processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:275-289 [Journal]
    
17. Nuno F. Rodrigues, Luís Soares Barbosa
    Component Identification Through Program Slicing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:291-304 [Journal]
    
18. Jan J. M. M. Rutten
    Algebraic Specification and Coalgebraic Synthesis of Mealy Automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:305-319 [Journal]
    
19. Bernhard Schäz
    Building Components from Functions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:321-334 [Journal]
    
20. Lian Wen, R. Geoff Dromey
    Architecture Normalization for Component-based Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:335-348 [Journal]
    
21. Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng
    Deriving Available Behavior All Out from Incompatible Component Compositions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:349-361 [Journal]