Journals in DBLP

ACM Comput. Surv.
1993, volume: 25, number: 3

1. A. Udaya Shankar
   An Introduction to Assertional Reasoning for Concurrent Systems. [Citation Graph (0, 0)][DBLP]
   ACM Comput. Surv., 1993, v:25, n:3, pp:225-262 [Journal]
   
2. Michael G. Norman, Peter Thanisch
   Models of Machines and Computation for Mapping in Multicomputers. [Citation Graph (0, 0)][DBLP]
   ACM Comput. Surv., 1993, v:25, n:3, pp:263-302 [Journal]
   
3. David J. Lilja
   Cache Coherence in Large-Scale Shared-Memory Multiprocessors: Issues and Comparisons. [Citation Graph (2, 0)][DBLP]
   ACM Comput. Surv., 1993, v:25, n:3, pp:303-338 [Journal]
   
4. Randolph D. Nelson
   The Mathematics of Product Form Queuing Networks. [Citation Graph (0, 0)][DBLP]
   ACM Comput. Surv., 1993, v:25, n:3, pp:339-369 [Journal]