Gates accept concurrent behavior (1993)

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

Document Versions

Gates accept concurrent behavior –Vineet Gupta, Vaughan Pratt — 1993 — In Proc. 34th Ann. IEEE Symp. on Foundations of Comp. Sci
Gates Accept Concurrent Behavior –Vineet Gupta, Vaughan Pratt — 1993 — In Proc. 34th Ann. IEEE Symp. on Foundations of Comp. Sci