The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002