Journals in DBLP

Theor. Comput. Sci.
2005, volume: 336, number: 2-3

1. Egon Börger
   Abstract state machines and high-level system design and analysis. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:336, n:2-3, pp:205-207 [Journal]
   
2. Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington
   Combining test case generation and runtime verification. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:336, n:2-3, pp:209-234 [Journal]
   
3. Egon Börger, Nicu G. Fruja, Vincenzo Gervasi, Robert F. Stärk
   A high-level modular definition of the semantics of C#. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:336, n:2-3, pp:235-284 [Journal]
   
4. Uwe Glässer, Qian-Ping Gu
   Formal description and analysis of a distributed location service for mobile ad hoc networks. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:336, n:2-3, pp:285-309 [Journal]
   
5. Yuri Gurevich, Nikolai Tillmann
   Partial updates. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:336, n:2-3, pp:311-342 [Journal]
   
6. Stanislas Nanchen, Robert F. Stärk
   A logic for secure memory access of abstract state machines. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:336, n:2-3, pp:343-365 [Journal]
   
7. Gruia-Catalin Roman, Jamie Payton
   A principled exploration of coordination models. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:336, n:2-3, pp:367-401 [Journal]
   
8. Gerhard Schellhorn
   ASM refinement and generalizations of forward simulation in data refinement: a comparison. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:336, n:2-3, pp:403-435 [Journal]