Journals in DBLP

Theor. Comput. Sci.
1992, volume: 101, number: 2

1. Eike Best, Jörg Desel, Javier Esparza
   Traps Characterize Home States in Free Choice Systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:101, n:2, pp:161-176 [Journal]
   
2. Stephen D. Brookes, Shai Geva
   Towards a Theory of Parallel Algorithms on Concrete Data Structures. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:101, n:2, pp:177-221 [Journal]
   
3. Bard Bloom, Albert R. Meyer
   Experimenting with Process Equivalence. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:101, n:2, pp:223-237 [Journal]
   
4. Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten
   From Failure to Success: Comparing a Denotational and a Declarative Semantics for Horn Clause Logic. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:101, n:2, pp:239-263 [Journal]
   
5. Jeremy Gunawardena
   Causal automata. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:101, n:2, pp:265-288 [Journal]
   
6. Jozef Hooman, S. Ramesh, Willem P. de Roever
   A Compositional Axiomatization of Statecharts. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:101, n:2, pp:289-335 [Journal]
   
7. Shmuel Katz, Doron Peled
   Defining Conditional Independence Using Collapses. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:101, n:2, pp:337-359 [Journal]