The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1998, volume: 195, number: 2

  1. Colin Stirling
    Decidability of Bisimulation Equivalence for Normed Pushdown Processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:195, n:2, pp:113-131 [Journal]
  2. Julian C. Bradfield
    The Modal µ-Calculus Alternation Hierarchy is Strict. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:195, n:2, pp:133-153 [Journal]
  3. Andrew M. Pitts, Joshua R. X. Ross
    Process Calculus Based Upon Evaluation to Committed Form. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:195, n:2, pp:155-182 [Journal]
  4. Doron Peled, Thomas Wilke, Pierre Wolper
    An Algorithmic Approach for Checking Closure Properties of Temporal Logic Specifications and Omega-Regular Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:195, n:2, pp:183-203 [Journal]
  5. Michele Boreale
    On the Expressiveness of Internal Mobility in Name-Passing Calculi. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:195, n:2, pp:205-226 [Journal]
  6. Rance Cleaveland, Gerald Lüttgen, V. Natarajan
    A Process Algebra with Distributed Priorities. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:195, n:2, pp:227-258 [Journal]
  7. Anna Philippou, David Walker
    On Transformations of Concurrent-Object Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:195, n:2, pp:259-289 [Journal]
  8. Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi
    On Bisimulations for the Asynchronous pi-Calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:195, n:2, pp:291-324 [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