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

by Leslie Lamport
Venue:IN PROCEEDINGS OF THE TWELFTH ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
Citations:8 - 3 self