Journals in DBLP

Theor. Comput. Sci.
1992, volume: 96, number: 1

1. Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan
   Elementary Transition Systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:96, n:1, pp:3-33 [Journal]
   
2. Madhavan Mukund, P. S. Thiagarajan
   A Logical Characterization of Well Branching Event Structures. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:96, n:1, pp:35-72 [Journal]
   
3. José Meseguer
   Conditioned Rewriting Logic as a United Model of Concurrency. [Citation Graph (1, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:96, n:1, pp:73-155 [Journal]
   
4. Julian C. Bradfield, Colin Stirling
   Local Model Checking for Infinite State Spaces. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:96, n:1, pp:157-174 [Journal]
   
5. Eike Best, Maciej Koutny
   Petri Net Semantics of Priority Systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:96, n:1, pp:175-174 [Journal]
   
6. Gérard Berry, Gérard Boudol
   The Chemical Abstract Machine. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:96, n:1, pp:217-248 [Journal]
   
7. Egidio Astesiano, Alessandro Giovini, Gianna Reggio
   Observational Structures and Their Logics. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:96, n:1, pp:249-283 [Journal]