Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2004, volume: 95, number:

1. Ana Cavalcanti, Patrícia D. L. Machado
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:1-2 [Journal]
   
2. Jim Woodcock
   Using Circus for Safety-critical Applications. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:3-22 [Journal]
   
3. Augusto Sampaio, Alexandre Mota, Rodrigo Ramos
   Class and Capsule Refinement in UML for Real Time. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:23-51 [Journal]
   
4. Marie-Claude Gaudel
   Problems and Methods for Testing Infinite State Machines: Extended Abstract. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:53-62 [Journal]
   
5. André Luis Silva, Manoel Messias Menezes, Leila Silva
   Using CafeOBJ to Implement a Reduction Strategy in the Context of Hardware/Software Partitioning. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:63-82 [Journal]
   
6. Franklin Ramalho, Jacques Robin, Ulrich Schiel
   Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:83-109 [Journal]
   
7. Edjard Mota, Edmund M. Clarke, Alex Groce, Waleska Oliveira, Marcia Falcão, Jorge Kanda
   VeriAgent: an Approach to Integrating UML and Formal Verification Tools. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:111-129 [Journal]
   
8. Anamaria Martins Moreira, Anderson Santana de Oliveira
   Simulating Algebraic Specification Genericity on Languages with Initial Semantics. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:131-148 [Journal]
   
9. Christiano Braga, Alexandre Sztajnberg
   Towards a Rewriting Semantics for a Software Architecture Description Language. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:149-168 [Journal]
   
10. Roberto Callejas-Bedregal, Benjamín René Callejas Bedregal
    Acióly-Scott Interval Categories. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:169-187 [Journal]
    
11. Gift Nuka, Jim Woodcock
    Mechanising the Alphabetised Relational Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:209-225 [Journal]
    
12. Rohit Gheyi, Paulo Borba
    Refactoring Alloy Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:227-243 [Journal]
    
13. Luciana Foss, Leila Ribeiro
    A Translation from Object-Based Hypergraph Grammars into pi-Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:245-267 [Journal]
    
14. Ana Cristina Vieira de Melo
    A Study On The Potential Active Names of pi-Agents. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:269-286 [Journal]
    
15. Emerson Ferreira de Araújo Lima, Jorge C. A. de Figueiredo, Dalton Serey Guerrero
    Using Coloured Petri Nets to Compare Mobile Agent Design Patterns. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:287-305 [Journal]