What It Means for a Concurrent Program to Satisfy a Specification: Why No One Has Specified Priority.

Leslie Lamport

Browse the full POPL paper archive.