Journals in DBLP
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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ]