A new solution to lamport’s concurrent programming problem (1983)

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