Journals in DBLP

Theor. Comput. Sci.
1995, volume: 152, number: 2

1. Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic
   A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Mixed Stochastic/Nonstochastic Systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:152, n:2, pp:171-217 [Journal]
   
2. Karen Seidel
   Probabilistic Communicating Processes. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:152, n:2, pp:219-249 [Journal]
   
3. Luca Aceto, Alan Jeffrey
   A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:152, n:2, pp:251-268 [Journal]
   
4. Rakesh M. Verma
   Transformations and Confluence for Rewrite Systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:152, n:2, pp:269-283 [Journal]
   
5. Paola Inverardi, Monica Nesi
   Infinite Normal Forms for Non-Linear Term Rewritting Systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:152, n:2, pp:285-303 [Journal]
   
6. Richard Banach
   Locating the Contractum in the Double Pushout Approach. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:152, n:2, pp:305-320 [Journal]