Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2002, volume: 70, number: 3

1. Matthias Anlauff, Asuman Sünbül
   Towards component based systems: refining connectors. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
   
2. Harald Fecher, Mila E. Majster-Cederbaum
   Taking decisions late: end-based choice combined with action refinement. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
   
3. Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu
   Refinement of actions in a real-time process algebra with a true concurrency model. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
   
4. Lindsay Groves
   Refinement and the Z schema calculus. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
   
5. Adrian J. Hilton, Jon G. Hall
   Refining specifications to programmable logic. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
   
6. Yngve Lamo, Michal Walicki
   Composition and refinement of specifications and parameterised data types. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
   
7. Antónia Lopes, José Luiz Fiadeiro
   Superposition: Composition vs refinement of non-deterministic action-based systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
   
8. Emil Sekerinski
   Tabular verification and refinement. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
   
9. Susan Stepney, Fiona Polack, Ian Toyn
   Refactoring in maintenance and development of Z specifications. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
   
10. Kai Engelhardt
    Towards a refinement theory that supports reasoning about knowledge and time for multiple agents. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
    
11. Steve Dunne
    Junctive Compositions of specifications in total, general correctness. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
    
12. Bernhard K. Aichernig
    Contract-based mutation testing in the refinement calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
    
13. Ralph-Johan Back, Joakim von Wright
    Compositional Action System Refinement. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
    
14. Eerke A. Boiten, John Derrick
    Unifying concurrent and relational refinement. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
    
15. Christie Bolton, Jim Davies
    A comparison of refinement orderings and their associated simulation rules. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
    
16. Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
    Refinement of actions in Circus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
    
17. Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio
    Refactoring by Transformation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
    
18. Jim Davies, Charles Crichton
    Concurrency and refinement in the UML. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
    
19. John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
    
20. Luke Wildman, Colin J. Fidge
    The variety of variables in computer-aided real-time programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]