Journals in DBLP

Theor. Comput. Sci.
1999, volume: 216, number: 1-2

1. Antonio Cerone, Andrea Maggiolo-Schettini
   Time-Based Expressivity of Time Petri Nets for System Specification. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:216, n:1-2, pp:1-53 [Journal]
   
2. William Ferreira, Matthew Hennessy
   A Behavioural Theory of First-Order CML. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:216, n:1-2, pp:55-107 [Journal]
   
3. Elena Zucca
   From Static to Dynamic Abstract Data-Types: An Institution Transformation. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:216, n:1-2, pp:109-157 [Journal]
   
4. Roberto Giacobazzi, Francesco Ranzato
   The Reduced Relative Power Operation on Abstract Domains. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:216, n:1-2, pp:159-211 [Journal]
   
5. Cui Zhang, Ronald A. Olsson, Karl N. Levitt
   Formal Verification of a Programming Logic for a Distributed Programming Language. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:216, n:1-2, pp:213-235 [Journal]
   
6. Pierpaolo Degano, Corrado Priami
   Non-Interleaving Semantics for Mobile Processes. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:216, n:1-2, pp:237-270 [Journal]
   
7. Francesca Levi
   A Compositional µ-Calculus Proof System for Statecharts Processes. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:216, n:1-2, pp:271-310 [Journal]
   
8. Peter Burmeister, Miquel Monserrat, Francesc Rosselló, Gabriel Valiente
   Algebraic Transformation of Unary Partial Algebras II: Single-Pushout Approach. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:216, n:1-2, pp:311-362 [Journal]
   
9. Manfred Schmidt-Schauß
   Decidability of Behavioural Equivalence in Unary PCF. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:216, n:1-2, pp:363-373 [Journal]
   
10. K. Rustan M. Leino, Rajit Manohar
    Joining Specification Statements. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:216, n:1-2, pp:375-394 [Journal]
    
11. Mingsheng Ying
    A Shorter Proof to Uniqueness of Solutions of Equations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:216, n:1-2, pp:395-397 [Journal]