University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 2911–2940 of 3,826 items
Thumbnail for Automated Inference of Atomic Sets for Safe Concurrent Execution
Automated Inference of Atomic Sets for Safe Concurrent Execution
Dinges, Peter; Charalambides, Minas; Agha, Gul A.