ACM Transactions on Programming Languages and Systems

129	--	158	William F. Appelbe, Anders P. Ravn. Encapsulation Constructs in Systems Programming Languages
159	--	174	F. Warren Burton. Annotations to Control Parallelism, Reduction Order in the Distributed Evaluation of Functional Programs
175	--	191	M. Elizabeth C. Hull, R. M. McKeag. Communicating Sequential Processes for Centralized and Distributed Operating System Design
192	--	214	Roland Carl Backhouse. Global Data Flow Analysis Problems Arising in Locally Least-Cost Error Recovery
215	--	238	John H. Reif, Paul G. Spirakis. Real-Time Synchronization of Interprocess Communications
239	--	253	Richard Alan Karp. Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic
254	--	280	Leslie Lamport. Using Time Instead of Timeout for Fault-Tolerant Distributed Systems
281	--	296	Leslie Lamport, Fred B. Schneider. The Hoare Logic of CSP, and All That

External Links