The SCEAS System
Navigation Menu

Journals in DBLP

Inf. Process. Lett.
2001, volume: 80, number: 1

  1. Luca Aceto, Wan Fokkink
    Preface: Process Algebra. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:80, n:1, pp:1- [Journal]
  2. Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, Scott A. Smolka
    Hiding resources that can fail: An axiomatic perspective. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:80, n:1, pp:3-13 [Journal]
  3. Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo
    A process algebra for probabilistic and nondeterministic processes. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:80, n:1, pp:15-23 [Journal]
  4. Corrado Priami, Aviv Regev, Ehud Y. Shapiro, William Silverman
    Application of a stochastic name-passing calculus to representation and simulation of molecular processes. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:80, n:1, pp:25-31 [Journal]
  5. Mark van der Zwaag
    The cones and foci proof technique for timed transition systems. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:80, n:1, pp:33-40 [Journal]
  6. Jan A. Bergstra, Alban Ponse
    Process algebra and conditional composition. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:80, n:1, pp:41-49 [Journal]
  7. Marc Voorhoeve, Sjouke Mauw
    Impossible futures and determinism. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:80, n:1, pp:51-58 [Journal]
  8. Alban Ponse, Yaroslav S. Usenko
    Equivalence of recursive specifications in process algebra. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:80, n:1, pp:59-65 [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