Reduction: A New Method of Proving Properties of Systems of Processes.

Richard J. Lipton

Browse the full POPL paper archive.