The SCEAS System
Navigation Menu

Journals in DBLP

Acta Inf.
1996, volume: 33, number: 2

  1. Aki Matsumoto, D. S. Han, Takao Tsuda
    Alias Analysis of Pointers in Pascal and Fortran 90: Dependence Analysis Between Pointer References. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1996, v:33, n:2, pp:99-130 [Journal]
  2. John Lee, Alan Fekete
    Multi-Granularity Locking for Nested Transactions: A Proof Using a Possibilities Mapping. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1996, v:33, n:2, pp:131-152 [Journal]
  3. Antonio Cau, Pierre Collette
    Parallel Composition of Assumption-Commitment Specifications: A Unifying Approach for Shared Variable and Distributed Message Passing Concurrency. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1996, v:33, n:2, pp:153-176 [Journal]
  4. Sibsankar Haldar, K. Vidyasankar
    Simple Extensions of 1-writer Atomic Variable Constructions to Multiwriter Ones. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1996, v:33, n:2, pp:177-202 [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