Gages accept concurrent behavior (1993)

by Vineet Gupta, Vaughan R Pratt
Venue:In FOCS