The SCEAS System
Navigation Menu

Journals in DBLP

Nord. J. Comput.
1995, volume: 2, number: 2

  1. Bengt Jonsson, Joachim Parrow
    Guest Editors Foreword. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1995, v:2, n:2, pp:87- [Journal]
  2. Olaf Burkart, Bernhard Steffen
    Composition, Decomposition and Model Checking of Pushdown Processes. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1995, v:2, n:2, pp:89-125 [Journal]
  3. Pietro Di Gianantonio, Furio Honsell, Gordon D. Plotkin
    Uncountable Limits and the lambda Calculus. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1995, v:2, n:2, pp:126-145 [Journal]
  4. Paris C. Kanellakis, Dimitrios Michailidis, Alexander A. Shvartsman
    Controlling Memory Access Concurrency in Efficient Fault-Tolerant Parallel Algorithms. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1995, v:2, n:2, pp:146-180 [Journal]
  5. N. P. Mendler, Prakash Panangaden, Philip J. Scott, R. A. G. Seely
    A Logical View of Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1995, v:2, n:2, pp:181-220 [Journal]
  6. Mogens Nielsen, Christian Clausen
    Games and Logics for a Noninterleaving Bisimulation. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1995, v:2, n:2, pp:221-249 [Journal]
  7. Roberto Segala, Nancy A. Lynch
    Probabilistic Simulations for Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1995, v:2, n:2, pp:250-273 [Journal]
  8. Chris Verhoef
    A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1995, v:2, n:2, pp:274-302 [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