Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2003, volume: 82, number: 7

1. Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou
   Can addresses be types? (A case study: objects with delegation). [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
   
2. Hartmut Ehrig
   Behaviour and Instantiation of High-Level Net Processes. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
   
3. Gregor Engels, Jochen Malte Küster, Reiko Heckel, Marc Lohmann
   Model-Based Verification and Validation of Properties. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
   
4. Stuart Kent, Robert Smith
   The Bidirectional Mapping Problem. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
   
5. Sabine Kuske, Peter Knirsch
   Modeling Agent Systems with Distributed Transformation Units. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
   
6. Giuseppe Milicia, Vladimiro Sassone
   Temporal constraints for concurrent object synchronisation. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
   
7. Mark Minas
   XML-based Specification of Diagram Editors. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
   
8. Fernando Orejas, Hartmut Ehrig
   Components for Algebra Transformation Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
   
9. Julia Padberg
   Case Study: Modelling Telecom Services with Petri Net Modules [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
   
10. Niels Van Eetvelde, Dirk Janssens
    A Hierarchical Program Representation for Refactoring. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
    
11. Jörg Desel, Gabriel Juhás, Robert Lorenz
    Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
    
12. Christopher Anderson, Sophia Drossopoulou
    BabyJ: from object based to class based programming via types. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
    
13. Roswitha Bardohl, Hartmut Ehrig
    Preface UNIGRA'03 - Uniform Approaches to Graphical Process Specification Techniques. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
    
14. Lorenzo Bettini, Sara Capecchi, Betti Venneri
    Extending Java to dynamic object behaviors. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
    
15. Viviana Bono, Michele Bugliesi
    First Workshop on Object Oriented Developments. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
    
16. Gavin M. Bierman, Matthew J. Parkinson
    Effects and effect inference for a core Java calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
    
17. Paolo Bottoni
    Dynamic aspects of visual modelling languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
    
18. Kim B. Bruce
    Some challenging typing issues in object-oriented languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
    
19. Ferruccio Damiani, Paola Giannini
    Alias types for "environment-aware" computations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
    
20. Milan Urbásek
    Modeling Petri Net Based Systems by Net Transformations: New Developments. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]