Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments.

John Field, Carlos A. Varela

Browse the full POPL paper archive.