Journals in DBLP

ACM Trans. Program. Lang. Syst.
1993, volume: 15, number: 4

1. Roberto M. Amadio, Luca Cardelli
   Subtyping Recursive Types. [Citation Graph (1, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1993, v:15, n:4, pp:575-631 [Journal]
   
2. Krishna V. Palem, Barbara B. Simons
   Scheduling Time-Critical Instructions on RISC Machines. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1993, v:15, n:4, pp:632-658 [Journal]
   
3. Gopal Gupta, Bharat Jayaraman
   Analysis of Or-Parallel Execution Models. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1993, v:15, n:4, pp:659-680 [Journal]
   
4. Colin J. Fidge
   A Formal Definition of Priority in CSP. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1993, v:15, n:4, pp:681-705 [Journal]
   
5. Martín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin
   A Calculus for Access Control in Distributed Systems. [Citation Graph (2, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1993, v:15, n:4, pp:706-734 [Journal]
   
6. Sukumar Ghosh
   An Alternative Solution to a Problem on Self-Stabilization. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1993, v:15, n:4, pp:735-742 [Journal]