Journals in DBLP

Theor. Comput. Sci.
2002, volume: 280, number: 1-2

1. Bart Jacobs, Jan J. M. M. Rutten
   Coalgebraic Methods in Computer Science - Foreword. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:280, n:1-2, pp:1- [Journal]
   
2. Uwe Wolter
   CSP, partial automata, and coalgebras. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:280, n:1-2, pp:3-34 [Journal]
   
3. Corina Cîrstea
   A coalgebraic equational approach to specifying observational structures. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:280, n:1-2, pp:35-68 [Journal]
   
4. Alexander Kurz, Rolf Hennicker
   On institutions for modular coalgebraic specifications. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:280, n:1-2, pp:69-103 [Journal]
   
5. Dusko Pavlovic, Vaughan R. Pratt
   The continuum as a final coalgebra. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:280, n:1-2, pp:105-122 [Journal]
   
6. Slawomir Lasota
   Coalgebra morphisms subsume open maps. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:280, n:1-2, pp:123-135 [Journal]
   
7. John Power, Hiroshi Watanabe
   Combining a monad and a comonad. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:280, n:1-2, pp:137-162 [Journal]
   
8. Andrea Corradini, Reiko Heckel, Ugo Montanari
   Compositional SOS and beyond: a coalgebraic view of open systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:280, n:1-2, pp:163-192 [Journal]