(ref.doc)toplas15-4

ACM Transactions on Programming Languages and Systems
September 1993: Vol 15, Nr 4

 p 575 Subtyping Recursive Types
       by Roberto M. Amadio and Luca Cardelli

 p 632 Scheduling Time-Critical instructions on RISC Machines
       by K Palem and B Simons

 p 659 Analysis of Or-Parallel Execution Models
       by G Gupta and B Jayaraman

 p 681 A formal Definition of Priority in CSP
       by C Fidge

 p 706 A Calculus for Access Control in Distributed Systems
       by M Abadi, M Burrows, B Lamson and G Plotkin

 p 735 An Alternative Solution to a Problem on Self-Stabilization
       by S Ghosh