Journals in DBLP

Theor. Comput. Sci.
1993, volume: 114, number: 1

1. Martín Abadi, Gordon D. Plotkin
   A Logical View of Composition. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:114, n:1, pp:3-30 [Journal]
   
2. Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
   Observing Localities. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:114, n:1, pp:31-61 [Journal]
   
3. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
   Universal Axioms for Bisimulations. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:114, n:1, pp:63-91 [Journal]
   
4. Jörg Desel, Javier Esparza
   Reachability in Cyclic Extended Free-Choice Systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:114, n:1, pp:93-118 [Journal]
   
5. Kim Guldstrand Larsen
   The Expressive Power of Implicit Specifications. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:114, n:1, pp:119-147 [Journal]
   
6. Robin Milner, Joachim Parrow, David Walker
   Modal Logics for Mobile Processes. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:114, n:1, pp:149-171 [Journal]
   
7. Walter Vogler
   Bisimulation and Action Refinement. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:114, n:1, pp:173-200 [Journal]