来源:蜘蛛抓取(WebSpider)
时间:2015-02-23 22:57
标签:
weak strong 区别
On a Fixpoint Semantics and the Design of Proof Rules for Fair ParallelPrograms
Publication:
&&Technical&Report
On a Fixpoint Semantics and the Design of Proof Rules for Fair ParallelPrograms
University of Texas at Austin Austin, TX, USA
1992 Technical&Report
&&Citation Count: 0
&&Downloads (cumulative): n/a
&&Downloads (12 Months): n/a
&&Downloads (6 Weeks): n/a
Tools and Resources
(no tabs) **Javascript is not enabled and is required for the "tabbed view" or switch to the **
Advertisements
Powered by
Did you know the ACM DL App is now available?
Did you know your Organization can subscribe to the ACM Digital Library?
The ACM Guide to Computing Literature
Export Formats
Save to Binder