Gates accept concurrent behavior (1993)

by V Gupta, V R Pratt
Venue:In Proceedings 34th Annual Symposium on Foundations of Computer Science, FOCS’93