Journals in DBLP

Theor. Comput. Sci.
2006, volume: 365, number: 1-2

1. Frank S. de Boer, Marcello M. Bonsangue
   Preface. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:365, n:1-2, pp:1- [Journal]
   
2. Luís Soares Barbosa, José Nuno Oliveira
   Transposing partial components - An exercise on coalgebraic refinement. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:365, n:1-2, pp:2-22 [Journal]
   
3. Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu
   Creol: A type-safe object-oriented model for distributed concurrent systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:365, n:1-2, pp:23-66 [Journal]
   
4. Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski
   Games with secure equilibria. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:365, n:1-2, pp:67-82 [Journal]
   
5. Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
   Switched PIOA: Parallel composition via distributed scheduling. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:365, n:1-2, pp:83-108 [Journal]
   
6. Jifeng He, Xiaoshan Li, Zhiming Liu
   rCOS: A refinement calculus of object systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:365, n:1-2, pp:109-142 [Journal]
   
7. David A. Naumann, Michael Barnett
   Towards imperative modules: Reasoning about invariants and sharing of mutable state. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:365, n:1-2, pp:143-168 [Journal]