G. L. Peterson. A new solution to Lamport's concurrent programming problem using small shared variables. ACM Transactions on Programming Languages Systems, 5(1):56-65, 1983.
author author author title title title title title title title title title title title title journal journal journal journal journal journal pages date