Journals in DBLP

Theor. Comput. Sci.
1994, volume: 124, number: 1

1. Mila E. Majster-Cederbaum, F. Zetzsche
   The Comparison of a CPO-based Semantics with a CMS-based semantics for CSP. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:124, n:1, pp:1-40 [Journal]
   
2. Béatrice Bérard
   Global Serializability of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:124, n:1, pp:41-70 [Journal]
   
3. Susumu Yamasaki
   A Denotational Semantics and Dataflow Construction for Logic Programs. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:124, n:1, pp:71-91 [Journal]
   
4. Michael Codish, Dennis Dams, Eyal Yardeni
   Bottom-up Abstract Interpretation of Logic Programs. [Citation Graph (1, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:124, n:1, pp:93-125 [Journal]
   
5. Satish R. Thatte
   Type Inference with Partial Types. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:124, n:1, pp:127-148 [Journal]
   
6. Jan A. Bergstra, Jan Heering
   Which Data Types have omega-complete Initial Algebra Specifications? [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:124, n:1, pp:149-168 [Journal]
   
7. Ursula Goltz, Arend Rensink
   Finite Petri Nets as Models for Recursive Causal Behaviour. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:124, n:1, pp:169-179 [Journal]
   
8. Kees Doets
   Left Termination Turned into Termination. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:124, n:1, pp:180-187 [Journal]
   
9. Michael Barr
   Additions and Corrections to ``Terminal Coalgebras in Well-founded Set Theory''. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:124, n:1, pp:189-192 [Journal]