Gates accept concurrent behavior (1993)

by Vineet Gupta, Vaughan Pratt
Venue:In Proc. 34th Ann. IEEE Symp. on Foundations of Comp. Sci