Gates Accept Concurrent Behavior (0)

by V Gupta, V R Pratt
Venue:Proc. 34th IEEE Symp. on Foundations of CS