The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
2005, volume: 346, number: 1

  1. Antonio Cerone, Alessandra Di Pierro
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:346, n:1, pp:1-2 [Journal]
  2. Karl Lermer, Colin J. Fidge, Ian J. Hayes
    A theory for execution-time derivation in real-time programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:346, n:1, pp:3-27 [Journal]
  3. Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
    Quantitative information in the tuple space coordination model. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:346, n:1, pp:28-57 [Journal]
  4. María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
    A semantic framework for the abstract model checking of tccp programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:346, n:1, pp:58-95 [Journal]
  5. Joe Hurd, Annabelle McIver, Carroll Morgan
    Probabilistic guarded commands mechanized in HOL. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:346, n:1, pp:96-112 [Journal]
  6. Michael Huth
    On finite-state approximants for probabilistic computation tree logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:346, n:1, pp:113-134 [Journal]
  7. Alberto Lluch-Lafuente, Ugo Montanari
    Quantitative mu-calculus and CTL defined over constraint semirings. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:346, n:1, pp:135-160 [Journal]
  8. Peter G. Harrison, Ting Ting Lee
    Separable equilibrium state probabilities via time reversal in Markovian process algebra. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:346, n:1, pp:161-182 [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