Journals in DBLP

Theor. Comput. Sci.
1998, volume: 202, number: 1-2

1. Marco Bernardo, Roberto Gorrieri
   A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1998, v:202, n:1-2, pp:1-54 [Journal]
   
2. Christoph Brzoska
   Programming in Metric Temporal Logic. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1998, v:202, n:1-2, pp:55-125 [Journal]
   
3. Miguel Felder, Angelo Gargantini, Angelo Morzenti
   A Theory of Implementation and Refinement in Timed Petri Nets. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1998, v:202, n:1-2, pp:127-161 [Journal]
   
4. Agostino Cortesi, Gilberto Filé, William H. Winsborough
   The Quotient of an Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1998, v:202, n:1-2, pp:163-192 [Journal]
   
5. Chrysafis Hartonas
   Duality for Modal mu-Logics. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1998, v:202, n:1-2, pp:193-222 [Journal]
   
6. Franck van Breugel
   Terminal Metric Spaces of Finitely Branching and Image Finite Linear Processes. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1998, v:202, n:1-2, pp:223-230 [Journal]
   
7. Gonzalo Ramos-Jiménez, J. López-Muñoz, Rafael Morales Bueno
   Comparisons of Parikh's Condition to Other Conditions for Context-free Languages. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1998, v:202, n:1-2, pp:231-244 [Journal]