Gates accept concurrent behavior (1993)

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