The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1999, volume: 216, number: 1-2

  1. Antonio Cerone, Andrea Maggiolo-Schettini
    Time-Based Expressivity of Time Petri Nets for System Specification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:216, n:1-2, pp:1-53 [Journal]
  2. William Ferreira, Matthew Hennessy
    A Behavioural Theory of First-Order CML. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:216, n:1-2, pp:55-107 [Journal]
  3. Elena Zucca
    From Static to Dynamic Abstract Data-Types: An Institution Transformation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:216, n:1-2, pp:109-157 [Journal]
  4. Roberto Giacobazzi, Francesco Ranzato
    The Reduced Relative Power Operation on Abstract Domains. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:216, n:1-2, pp:159-211 [Journal]
  5. Cui Zhang, Ronald A. Olsson, Karl N. Levitt
    Formal Verification of a Programming Logic for a Distributed Programming Language. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:216, n:1-2, pp:213-235 [Journal]
  6. Pierpaolo Degano, Corrado Priami
    Non-Interleaving Semantics for Mobile Processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:216, n:1-2, pp:237-270 [Journal]
  7. Francesca Levi
    A Compositional µ-Calculus Proof System for Statecharts Processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:216, n:1-2, pp:271-310 [Journal]
  8. Peter Burmeister, Miquel Monserrat, Francesc Rosselló, Gabriel Valiente
    Algebraic Transformation of Unary Partial Algebras II: Single-Pushout Approach. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:216, n:1-2, pp:311-362 [Journal]
  9. Manfred Schmidt-Schauß
    Decidability of Behavioural Equivalence in Unary PCF. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:216, n:1-2, pp:363-373 [Journal]
  10. K. Rustan M. Leino, Rajit Manohar
    Joining Specification Statements. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:216, n:1-2, pp:375-394 [Journal]
  11. Mingsheng Ying
    A Shorter Proof to Uniqueness of Solutions of Equations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:216, n:1-2, pp:395-397 [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