The SCEAS System
Navigation Menu

Journals in DBLP

Formal Asp. Comput.
1996, volume: 8, number: 6

  1. Carroll Morgan, Annabelle McIver, Karen Seidel, Jeff W. Sanders
    Refinement-Oriented Probability for CSP. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:6, pp:617-647 [Journal]
  2. Alban Ponse
    Computable Processes and Bisimulation Equivalence. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:6, pp:648-678 [Journal]
  3. Jeffery I. Zucker
    Transformations of Normal and Inverted Function Tables. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:6, pp:679-705 [Journal]
  4. Ruth Breu, Elena Zucca
    An Algebraic Semantic Framework for Object Oriented Languages with Concurrency (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:6, pp:706-715 [Journal]
  5. Murali Sitaraman
    Impact of Performance Considerations on Formal Specification Design. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:6, pp:716-736 [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