Journals in DBLP

Theor. Comput. Sci.
2002, volume: 282, number: 1

1. Joost-Pieter Katoen
   Real-Time and Probabilistic Systems - Foreword. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:282, n:1, pp:1-3 [Journal]
   
2. Mario Bravetti, Roberto Gorrieri
   The theory of interactive generalized semi-Markov processes. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:282, n:1, pp:5-32 [Journal]
   
3. Bengt Jonsson, Wang Yi
   Testing preorders for probabilistic processes can be characterized by simulations. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:282, n:1, pp:33-51 [Journal]
   
4. Paul Z. Kolano
   Proof assistance for real-time systems using an interactive theorem prover. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:282, n:1, pp:53-99 [Journal]
   
5. Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
   Automatic verification of real-time systems with discrete probability distributions. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:282, n:1, pp:101-150 [Journal]
   
6. Karl Lermer, Colin J. Fidge
   A formal model of real-time program compilation. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:282, n:1, pp:151-190 [Journal]
   
7. Annabelle McIver
   Quantitative program logic and expected time bounds in probabilistic distributed algorithms. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:282, n:1, pp:191-219 [Journal]