The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
2005, volume: 343, number: 3

  1. Frank S. de Boer, Marcello M. Bonsangue
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:343, n:3, pp:283-284 [Journal]
  2. Jan A. Bergstra, Inge Bethke
    Polarized process algebra with reactive composition. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:343, n:3, pp:285-304 [Journal]
  3. Razvan Diaconescu
    Behavioural specification for hierarchical object composition. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:343, n:3, pp:305-331 [Journal]
  4. Jan Friso Groote, Tim A. C. Willemse
    Parameterised boolean equation systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:343, n:3, pp:332-369 [Journal]
  5. Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
    Semantic essence of AsmL. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:343, n:3, pp:370-412 [Journal]
  6. Cees Pierik, Frank S. de Boer
    A proof outline logic for object-oriented programming. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:343, n:3, pp:413-442 [Journal]
  7. Jan J. M. M. Rutten
    A tutorial on coinductive stream calculus and signal flow graphs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:343, n:3, pp:443-481 [Journal]
  8. Robert F. Stärk
    Formal specification and verification of the C# thread model. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:343, n:3, pp:482-508 [Journal]
  9. Heike Wehrheim
    Slicing techniques for verification re-use. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:343, n:3, pp:509-528 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002