Journals in DBLP

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

1. Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
   An assertion-based proof system for multithreaded Java. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:331, n:2-3, pp:251-290 [Journal]
   
2. Jozef Hooman, Jaco van de Pol
   Semantic models of a timed distributed dataspace architecture. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:331, n:2-3, pp:291-323 [Journal]
   
3. Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
   Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:331, n:2-3, pp:325-365 [Journal]
   
4. Franz Achermann, Oscar Nierstrasz
   A calculus for reasoning about software composition. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:331, n:2-3, pp:367-396 [Journal]
   
5. Yonit Kesten, Amir Pnueli
   A compositional approach to CTL* verification. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:331, n:2-3, pp:397-428 [Journal]
   
6. Emil Sekerinski
   Verification and refinement with fine-grained action-based concurrent objects. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:331, n:2-3, pp:429-455 [Journal]
   
7. Dirk Pattinson, Martin Wirsing
   A coordination approach to mobile components. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:331, n:2-3, pp:457-483 [Journal]