A New Solution to Lamport’ s Concurrent Programming Problem Using Small Shared Variables (1983)

by G L Peterson
Venue:ACM Transactions on Programming Languages and Systems