Journals in DBLP

IEEE Trans. Software Eng.
1979, volume: 5, number: 6

1. Abraham Silberschatz
   Communication and Synchronization in Distributed Systems. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1979, v:5, n:6, pp:542-546 [Journal]
   
2. Barbara Liskov, Alan Snyder
   Exception Handling in CLU. [Citation Graph (4, 0)][DBLP]
   IEEE Trans. Software Eng., 1979, v:5, n:6, pp:546-558 [Journal]
   
3. Alan F. Babich
   Proving Total Correctness of Parallel Programs. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1979, v:5, n:6, pp:558-574 [Journal]
   
4. Virgil D. Gligor
   Review and Revocation of Access Privileges Distributed Through Capabilities. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1979, v:5, n:6, pp:575-586 [Journal]
   
5. Carlos José Pereira de Lucena, Tarcisio H. C. Pequeno
   Program Derivation Using Data Types: A Case Study. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1979, v:5, n:6, pp:586-592 [Journal]
   
6. Jacques Cohen, Robin Sitver
   A Case Study in Program Transformation: Translation into Polish. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1979, v:5, n:6, pp:593-606 [Journal]
   
7. Virgil D. Gligor, Bruce G. Lindsay
   Object Migration and Authentication. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1979, v:5, n:6, pp:607-611 [Journal]
   
8. Paul W. Abrahams, Lori A. Clarke
   Compile-Time Analysis of Data List-Format List Correspondences. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1979, v:5, n:6, pp:612-617 [Journal]
   
9. Takashi Masuda
   Methods for the Measurement of Memory Utilization and the Improvement of Program Locality. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1979, v:5, n:6, pp:618-631 [Journal]
   
10. Paul Caseau, Guy Pujolle
    Throughput Capacity of a Sequence of Queues with Blocking Due to Finite Waiting Room. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1979, v:5, n:6, pp:631-642 [Journal]
    
11. Anthony L. Barrese, Stephen D. Shapiro
    Structuring Programs for Efficient Operation in Virtual Memory Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1979, v:5, n:6, pp:643-652 [Journal]
    
12. Gaston H. Gonnet, David E. Morgan
    Analysis of Closed Queuing Networks with Periodic Servers. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1979, v:5, n:6, pp:653-659 [Journal]