Journals in DBLP

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

1. Farhad Arbab, Marjan Sirjani
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:1-2 [Journal]
   
2. Ali Kamandi, Mohammad Abdollahi Azgomi, Ali Movaghar
   Transformation of UML Models into Analyzable OSAN Models. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:3-22 [Journal]
   
3. M. Jamshid Bagherzadeh, S. Arun-Kumar
   Flexible Communication of Agents based on FIPA-ACL. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:23-39 [Journal]
   
4. Lorenzo Capra, Walter Cazzola
   A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:41-59 [Journal]
   
5. Dave Clarke
   Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:61-77 [Journal]
   
6. Shahram Esmaeilsabzali, Farhad Mavaddat, Nancy A. Day
   Interface Automata with Complex Actions. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:79-97 [Journal]
   
7. Fatemeh Ghassemi, Samira Tasharofi, Marjan Sirjani
   Automated Mapping of Reo Circuits to Constraint Automata. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:99-115 [Journal]
   
8. Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi
   An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:117-137 [Journal]
   
9. Hossein Hojjat, Hootan Nakhost, Marjan Sirjani
   Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:139-154 [Journal]
   
10. Yu Huang, Hanpin Wang, Peng Yu, Yunni Xia
    Property-Transition-Net-Based Workflow Process Modeling and Verification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:155-170 [Journal]
    
11. Mohammad Izadi, Ali Movaghar-Rahimabadi
    An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:171-186 [Journal]
    
12. Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen
    Validating Behavioral Component Interfaces in Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:187-204 [Journal]
    
13. Marc Aiguier, Diane Bahrami, Delphine Longuet
    An Abstract Way to Define Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:205-226 [Journal]
    
14. Mahdi Niamanesh, Nafiseh Fekrazad Nobakht, Rasool Jalili, Faranak Heydarian Dehkordi
    On Validity Assurance of Dynamic Reconfiguration for Component-based Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:227-239 [Journal]
    
15. Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez
    From Theoretical e-barter Models to an Implementation Based on Web Services. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:241-264 [Journal]
    
16. Shunsuke Sasaki, Tasuku Nishihara, Masahiro Fujita
    Slicing-based Hardware/Software Co-design Methodology From Functional Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:265-280 [Journal]
    
17. Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
    Inductive Proof Outlines for Exceptions in Multithreaded Java. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:281-297 [Journal]
    
18. Mark-Oliver Stehr
    Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:299-323 [Journal]