New paper posted at Eric Drexler’s site

The paper is Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control by MS Miller.

Drexler description of the paper and its significance:
Describes how to structure object-oriented programming to enable software components to work together without mutual interference—a way to escape from fragile thread-based concurrency and the threat of viruses, and a way to enable safe use of potentially malicious software components written by un-trusted or unknown parties. A must-read document for anyone attempting to build a reliable, user-friendly, programmer-friendly, cooperation-enabling, virus-proof computing infrastructure: that is to say, large-scale software systems that can tolerate errors and enemies and actually work.

The paper is by Mark Samuel Miller